Mostowski, Andrzej
Overview
Works:  83 works in 416 publications in 8 languages and 6,403 library holdings 

Genres:  Bibliography Conference papers and proceedings Biography 
Roles:  Author, Editor, Honoree, Contributor, Other, Redactor 
Classifications:  QA9, 512.817 
Publication Timeline
.
Most widely held works about
Andrzej Mostowski
 Set theory and hierarchy theory by Jan Waszkiewicz( Book )
 Provability, Computability and Reflection by Lev Dmitrievich Beklemishev( )
 Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] by Conference on Set Theory and Hierarchy Theory( )
Most widely held works by
Andrzej Mostowski
Set theory by
Kazimierz Kuratowski(
Book
)
46 editions published between 1952 and 1978 in 5 languages and held by 686 WorldCat member libraries worldwide
46 editions published between 1952 and 1978 in 5 languages and held by 686 WorldCat member libraries worldwide
Undecidable theories by
Alfred Tarski(
Book
)
46 editions published between 1953 and 2010 in 3 languages and held by 667 WorldCat member libraries worldwide
"This graduatelevel book is well known for its proof that many mathematical systems  including lattice theory, abstract projective geometry, and closure algebras  are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, "A general method in proofs of undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and essential undecidability in mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the elementary theory of groups."Back cover
46 editions published between 1953 and 2010 in 3 languages and held by 667 WorldCat member libraries worldwide
"This graduatelevel book is well known for its proof that many mathematical systems  including lattice theory, abstract projective geometry, and closure algebras  are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, "A general method in proofs of undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and essential undecidability in mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the elementary theory of groups."Back cover
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel by
Andrzej Mostowski(
Book
)
45 editions published between 1952 and 1982 in 4 languages and held by 633 WorldCat member libraries worldwide
45 editions published between 1952 and 1982 in 4 languages and held by 633 WorldCat member libraries worldwide
Constructible sets with applications by
Andrzej Mostowski(
Book
)
30 editions published between 1968 and 1973 in 4 languages and held by 488 WorldCat member libraries worldwide
30 editions published between 1968 and 1973 in 4 languages and held by 488 WorldCat member libraries worldwide
Introduction to higher algebra by
Andrzej Mostowski(
Book
)
22 editions published in 1964 in English and Italian and held by 480 WorldCat member libraries worldwide
22 editions published in 1964 in English and Italian and held by 480 WorldCat member libraries worldwide
Set theory : with an introduction to descriptive set theory by
Kazimierz Kuratowski(
Book
)
24 editions published in 1976 in 3 languages and held by 401 WorldCat member libraries worldwide
24 editions published in 1976 in 3 languages and held by 401 WorldCat member libraries worldwide
Andrzej Mostowski and foundational studies by
Andrzej Ehrenfeucht(
Book
)
8 editions published between 2008 and 2013 in English and held by 69 WorldCat member libraries worldwide
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory  the backbone of foundations of mathematics. He is best known of the KleeneMostowski and DavisMostowsi hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and rasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. he overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, till his untimely death in 1975, Warsaw  where he led the centre of foundational studies  was a placewhere many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski
8 editions published between 2008 and 2013 in English and held by 69 WorldCat member libraries worldwide
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory  the backbone of foundations of mathematics. He is best known of the KleeneMostowski and DavisMostowsi hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and rasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. he overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, till his untimely death in 1975, Warsaw  where he led the centre of foundational studies  was a placewhere many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski
The present state of investigations on the foundations of mathematics by
Andrzej Mostowski(
Book
)
8 editions published in 1955 in English and held by 64 WorldCat member libraries worldwide
8 editions published in 1955 in English and held by 64 WorldCat member libraries worldwide
On invariant, dual invariant and absolute formulas by
Andrzej Mostowski(
Book
)
6 editions published in 1962 in English and held by 61 WorldCat member libraries worldwide
6 editions published in 1962 in English and held by 61 WorldCat member libraries worldwide
Logika matematyczna; kurs uniwersytecki by
Andrzej Mostowski(
Book
)
9 editions published in 1948 in 3 languages and held by 54 WorldCat member libraries worldwide
9 editions published in 1948 in 3 languages and held by 54 WorldCat member libraries worldwide
Algebra liniowa by
Andrzej Mostowski(
Book
)
14 editions published between 1958 and 1977 in Polish and Undetermined and held by 47 WorldCat member libraries worldwide
14 editions published between 1958 and 1977 in Polish and Undetermined and held by 47 WorldCat member libraries worldwide
Elementy algebry wyższej by
Andrzej Mostowski(
Book
)
19 editions published between 1958 and 1977 in Polish and held by 41 WorldCat member libraries worldwide
19 editions published between 1958 and 1977 in Polish and held by 41 WorldCat member libraries worldwide
Topologie by
Kazimierz Kuratowski(
Book
)
3 editions published in 1958 in French and Polish and held by 37 WorldCat member libraries worldwide
3 editions published in 1958 in French and Polish and held by 37 WorldCat member libraries worldwide
Le raisonnement en mathématiques et en sciences expérimentales by
Centre national de la recherche scientifique (France)(
Book
)
1 edition published in 1958 in French and held by 36 WorldCat member libraries worldwide
1 edition published in 1958 in French and held by 36 WorldCat member libraries worldwide
Modèles transitifs de la théorie des ensembles de ZermeloFraenkel by
Andrzej Mostowski(
Book
)
4 editions published between 1967 and 1971 in French and held by 34 WorldCat member libraries worldwide
4 editions published between 1967 and 1971 in French and held by 34 WorldCat member libraries worldwide
Foundational studies : selected works by
Andrzej Mostowski(
Book
)
12 editions published in 1979 in English and Undetermined and held by 33 WorldCat member libraries worldwide
12 editions published in 1979 in English and Undetermined and held by 33 WorldCat member libraries worldwide
Algebra wyzsza by
Andrzej Mostowski(
Book
)
11 editions published between 1954 and 1967 in Polish and Undetermined and held by 23 WorldCat member libraries worldwide
11 editions published between 1954 and 1967 in Polish and Undetermined and held by 23 WorldCat member libraries worldwide
Zasady algebry wyższej, z przypisem Andreja Mostowskiego Zarys teorii Galois by
Waclaw Sierpinski(
Book
)
5 editions published between 1946 and 1951 in Polish and Undetermined and held by 21 WorldCat member libraries worldwide
5 editions published between 1946 and 1951 in Polish and Undetermined and held by 21 WorldCat member libraries worldwide
Zasady algebry wyższej, z przypisem Andrzeja Mostowskiego Zarys teorii Galois by
Waclaw Sierpinski(
Book
)
2 editions published in 1951 in Polish and held by 18 WorldCat member libraries worldwide
2 editions published in 1951 in Polish and held by 18 WorldCat member libraries worldwide
Foundational studies : selected works by
Andrzej Mostowski(
Book
)
2 editions published in 1979 in Undetermined and English and held by 1 WorldCat member library worldwide
Provability, Computability and Reflection
2 editions published in 1979 in Undetermined and English and held by 1 WorldCat member library worldwide
Provability, Computability and Reflection
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Kuratowski, Kazimierz 18961980 Author Editor
 Marek, V. W. (V. Wiktor) 1943 Editor
 Srebrny, Marian 1947 Editor
 Ehrenfeucht, Andrzej Editor
 Robinson, Raphael M. (Raphael Mitchel) 1911 Other Contributor
 Stark, Marceli 19081974 Author
 Tarski, Alfred 19011983 Author
 Tarski, Alfred Author
 Zarach, Andrzej 1948
 Musielak, J. Translator
Useful Links
Associated Subjects
Algebra Algebra, Universal Axiomatic set theory Axioms Combinations Constructibility (Set theory) Decidability (Mathematical logic) Descriptive set theory Galois theory Gödel, Kurt Gödel's theorem Logic Logic, Symbolic and mathematical Logicians Mathematical analysisFoundations Mathematicians Mathematics MathematicsPhilosophy Metamathematics Model theory Mostowski, Andrzej Poland Recursive functions Semantics (Philosophy) SemanticsMathematical models Set theory
Alternative Names
Andrzej Mostowski Polish mathematician
Andrzej Mostowski polnischer Mathematiker und Logiker
Andrzej Mostowski polsk matematikar
Andrzej Mostowski polsk matematiker
Andrzej Mostowski Pools wiskundige (19131975)
Mostovskij, A.
Mostowski, A.
Mostowski, A. 19131975
Mostowski, A. (Andrzej)
Mostowski, Andrzej Stanisław.
Mostowski, Andrzej Stanisław 19131975
Mostowski, Andrzej Włodzimierz
Mostowski, Andrzej Wodzimierz
Анджей Мостовски
Անդժեյ Մոստովսկի
アンジェイ・モストフスキ
Languages
Covers