Mostowski, Andrzej
Overview
Works:  146 works in 667 publications in 9 languages and 8,437 library holdings 

Genres:  Bibliographies Conference papers and proceedings Biographies History 
Roles:  Author, Editor, Honoree, Collector, Other, Dedicatee, Redactor 
Classifications:  QA9, 511.3 
Publication Timeline
.
Most widely held works about
Andrzej Mostowski
 Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] by Conference on Set Theory and Hierarchy Theory( Book )
 Foundational studies : selected works by Andrzej Mostowski( Book )
 Provability, computability and reflection by Lev Dmitrievich Beklemishev( )
 Andrzej Mostowski and foundational studies by Andrzej Ehrenfeucht( )
 Set theory and hierarchy theory by Wiktor Marek( Book )
 Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski ; Bierutowice, Poland, 1975 by Wiktor Marek( Book )
more
fewer
Most widely held works by
Andrzej Mostowski
Andrzej Mostowski and foundational studies by
Andrzej Ehrenfeucht(
)
12 editions published between 2008 and 2013 in English and held by 1,496 WorldCat member libraries worldwide
Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings
12 editions published between 2008 and 2013 in English and held by 1,496 WorldCat member libraries worldwide
Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel by
Andrzej Mostowski(
Book
)
61 editions published between 1952 and 2000 in 4 languages and held by 825 WorldCat member libraries worldwide
Provability, Computability and Reflection
61 editions published between 1952 and 2000 in 4 languages and held by 825 WorldCat member libraries worldwide
Provability, Computability and Reflection
Undecidable theories by
Alfred Tarski(
Book
)
49 editions published between 1953 and 2010 in English and Undetermined and held by 812 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
49 editions published between 1953 and 2010 in English and Undetermined and held by 812 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
Set theory by
Kazimierz Kuratowski(
Book
)
38 editions published between 1967 and 2000 in 4 languages and held by 740 WorldCat member libraries worldwide
Provability, Computability and Reflection
38 editions published between 1967 and 2000 in 4 languages and held by 740 WorldCat member libraries worldwide
Provability, Computability and Reflection
Constructible sets with applications by
Andrzej Mostowski(
Book
)
35 editions published between 1968 and 2000 in 3 languages and held by 637 WorldCat member libraries worldwide
Provability, Computability and Reflection
35 editions published between 1968 and 2000 in 3 languages and held by 637 WorldCat member libraries worldwide
Provability, Computability and Reflection
Set theory : with an introduction to descriptive set theory by
Kazimierz Kuratowski(
Book
)
30 editions published in 1976 in English and Multiple languages and held by 581 WorldCat member libraries worldwide
Provability, Computability and Reflection
30 editions published in 1976 in English and Multiple languages and held by 581 WorldCat member libraries worldwide
Provability, Computability and Reflection
Introduction to higher algebra by
Andrzej Mostowski(
Book
)
31 editions published in 1964 in 3 languages and held by 570 WorldCat member libraries worldwide
Introduction to Higher Algebra
31 editions published in 1964 in 3 languages and held by 570 WorldCat member libraries worldwide
Introduction to Higher Algebra
Foundational studies : selected works by
Andrzej Mostowski(
)
41 editions published between 1978 and 1979 in 3 languages and held by 458 WorldCat member libraries worldwide
Provability, Computability and Reflection
41 editions published between 1978 and 1979 in 3 languages and held by 458 WorldCat member libraries worldwide
Provability, Computability and Reflection
Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of
mathematics in 19301964 by
Andrzej Mostowski(
Book
)
32 editions published between 1965 and 1967 in 4 languages and held by 419 WorldCat member libraries worldwide
32 editions published between 1965 and 1967 in 4 languages and held by 419 WorldCat member libraries worldwide
Modèles transitifs de la théorie des ensembles de ZermeloFraenkel by
Andrzej Mostowski(
Book
)
14 editions published between 1967 and 1971 in French and English and held by 197 WorldCat member libraries worldwide
14 editions published between 1967 and 1971 in French and English and held by 197 WorldCat member libraries worldwide
Teoria mnogości by
Kazimierz Kuratowski(
Book
)
21 editions published between 1952 and 1978 in 3 languages and held by 117 WorldCat member libraries worldwide
21 editions published between 1952 and 1978 in 3 languages and held by 117 WorldCat member libraries worldwide
The present state of investigations on the foundations of mathematics by
Andrzej Mostowski(
Book
)
11 editions published in 1955 in English and held by 76 WorldCat member libraries worldwide
11 editions published in 1955 in English and held by 76 WorldCat member libraries worldwide
On invariant, dual invariant and absolute formulas by
Andrzej Mostowski(
Book
)
7 editions published in 1962 in English and Undetermined and held by 73 WorldCat member libraries worldwide
7 editions published in 1962 in English and Undetermined and held by 73 WorldCat member libraries worldwide
Logika matematyczna : kurs uniwersytecki by
Andrzej Mostowski(
Book
)
10 editions published in 1948 in 3 languages and held by 64 WorldCat member libraries worldwide
10 editions published in 1948 in 3 languages and held by 64 WorldCat member libraries worldwide
Algebra liniowa by
Andrzej Mostowski(
Book
)
18 editions published between 1958 and 1977 in Polish and Undetermined and held by 53 WorldCat member libraries worldwide
18 editions published between 1958 and 1977 in Polish and Undetermined and held by 53 WorldCat member libraries worldwide
Elementy algebry wyższej by
Andrzej Mostowski(
Book
)
19 editions published between 1958 and 1977 in Polish and held by 43 WorldCat member libraries worldwide
19 editions published between 1958 and 1977 in Polish and held by 43 WorldCat member libraries worldwide
La pensée scientifique quelques concepts, démarches et méthodes by
Andrzej Mostowski(
)
4 editions published between 1978 and 2019 in French and held by 40 WorldCat member libraries worldwide
4 editions published between 1978 and 2019 in French and held by 40 WorldCat member libraries worldwide
Topologie by
Kazimierz Kuratowski(
Book
)
3 editions published in 1958 in French and Polish and held by 38 WorldCat member libraries worldwide
3 editions published in 1958 in French and Polish and held by 38 WorldCat member libraries worldwide
Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique] by
Centre national de la recherche scientifique (France)(
Book
)
1 edition published in 1958 in French and held by 38 WorldCat member libraries worldwide
1 edition published in 1958 in French and held by 38 WorldCat member libraries worldwide
Zasady algebry wyższej, z przypisem Andreja Mostowskiego Zarys teorii Galois by
Waclaw Sierpinski(
Book
)
7 editions published between 1946 and 1951 in Polish and held by 25 WorldCat member libraries worldwide
7 editions published between 1946 and 1951 in Polish and held by 25 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Kuratowski, Kazimierz 18961980 Other Author Editor
 Marek, V. W. (V. Wiktor) 1943 Editor
 Srebrny, Marian 1947 Editor
 Ehrenfeucht, Andrzej Editor
 Tarski, Alfred 19011983 Author Creator
 Robinson, Raphael M. (Raphael Mitchel) 1911 Other Collector
 Stark, Marceli 19081974 Author
 Zarach, Andrzej 1948 Editor
 Musielak, J. Translator
 Gödel, Kurt
Useful Links
Associated Subjects
Algebra Algebra, Abstract Algebra, Universal Algebraic logic ArithmeticFoundations Axiomatic set theory Axioms Bibliography Borel sets Combinations Combinatory logic Constructibility (Set theory) Continuity Decidability (Mathematical logic) Descriptive set theory Galois theory GeometryFoundations Gödel, Kurt Gödel's theorem Intuitionistic mathematics Lincos (Artificial language) Logic Logic, Symbolic and mathematical Logicians Mathematical analysis Mathematical analysisFoundations Mathematicians Mathematics MathematicsPhilosophy Metamathematics Model theory Mostowski, Andrzej Number theory Poland Pragmatics Recursion theory Recursive functions SciencePhilosophy Semantics (Philosophy) SemanticsMathematical models Sequential machine theory Set theory Space and time Topology Type theory
Covers
Alternative Names
Andrzej Mostowski matamaiticeoir Polannach
Andrzej Mostowski matemàtic polonès
Andrzej Mostowski matemático polaco
Andrzej Mostowski matematikan polak
Andrzej Mostowski matematyk polski
Andrzej Mostowski mathématicien polonais
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
Mostowski, Andrzej Stanisław.
Mostowski, Andrzej Stanisław 19131975
Mostowski, Andrzej Włodzimierz
Анджей Мостовски
Анджей Мостовски полски математик
Анджей Мостовский Польский математик
Анжей Мостовський
Мостовский Анджей А.
Անդժեյ Մոստովսկի
אנדז'יי מוסטובסקי מתמטיקאי פולני
안제이 모스토프스키 폴란드 수리논리학자
アンジェイ・モストフスキ
Languages