WorldCat Identities

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
 
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

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 graduate-level 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

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

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

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

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 Kleene-Mostowski and Davis-Mostowsi 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

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

Logika matematyczna; kurs uniwersytecki by Andrzej Mostowski( Book )

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

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

Topologie by Kazimierz Kuratowski( Book )

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

Modèles transitifs de la théorie des ensembles de Zermelo-Fraenkel by Andrzej Mostowski( Book )

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

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

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

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

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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.60 (from 0.02 for Andrzej Mo ... to 0.89 for Topologie ...)

Andrzej Mostowski and foundational studies
Alternative Names
Andrzej Mostowski Polish mathematician

Andrzej Mostowski polnischer Mathematiker und Logiker

Andrzej Mostowski polsk matematikar

Andrzej Mostowski polsk matematiker

Andrzej Mostowski Pools wiskundige (1913-1975)

Mostovskij, A.

Mostowski, A.

Mostowski, A. 1913-1975

Mostowski, A. (Andrzej)

Mostowski, Andrzej Stanisław.

Mostowski, Andrzej Stanisław 1913-1975

Mostowski, Andrzej Włodzimierz

Mostowski, Andrzej Wodzimierz

Анджей Мостовски

Անդժեյ Մոստովսկի

アンジェイ・モストフスキ

Languages
Covers
Andrzej Mostowski and foundational studies