collaboration andrzej mostowski (1 risultati)

Soft cover. Condizione: Near Fine. No Jacket. 1st Edition. First Edition. xi, 98 pp. Original flexible yellow boards. Very Good+, without dust jacket. Studies in Logic and the Foundations of Mathematics. 'A year later [1949] in several abstracts (one with Mostowski), Tarski announced the undecidability of the elementary theory of groups and of some other algebraic structures, together with an abstract stating a rather general method for proving a wide class of theories undecidable. But these results did not attract much attention, and it was generally thought that the Tarski school was almost entirely dedicated to working on decidability results. . It was thus quite unexpected when, in 1953, Tarski published the short book Undecidable Theories with Andrzej Mostowski and Raphael Robinson as co-authors. It was divided into three distinct parts: the first and third written by Tarski alone and the second written jointly with Mostowski and Robinson. The main new concept of the first part of the book is that of a theory being essentially undecidable, which means that the theory together with all its consistent extensions is undecidable. . in Part III, Tarski applies his general methods in combination with Robinson's theory to prove the undecidability of the elementary theory of groups (as he had announced four years earlier). . Unlike Cardinal Algebras (1949), which appealed to a rather limited audience, Undecidable Theories attracted widespread interest among logicians; besides being short it was easy to read and its elegant, widely applicable, and powerful methods led to a great deal of subsequent research. To some extent the difference in reception also lay in the fact that the former book more or less finished off a subject, whereas the latter opened up a whole new series of lines to follow' (Anita Burdman Feferman and Solomon Feferman, Alfred Tarski: Life and Logic, 2004, pp. 193-4).