WorldCat Identities

Mostowski, Andrzej

Overview
Works: 129 works in 588 publications in 10 languages and 7,889 library holdings
Genres: Bibliography  Bibliographies  Conference papers and proceedings  Biography  History 
Roles: Author, Honoree, Editor, Other, Dedicatee, Redactor
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works about Andrzej Mostowski
 
Most widely held works by Andrzej Mostowski
Andrzej Mostowski and foundational studies by Andrzej Ehrenfeucht( )

10 editions published between 2008 and 2013 in English and held by 1,350 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
Undecidable theories by Alfred Tarski( Book )

48 editions published between 1953 and 2010 in English and Undetermined and held by 795 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 )

53 editions published between 1952 and 1982 in 4 languages and held by 786 WorldCat member libraries worldwide

Constructible sets with applications by Andrzej Mostowski( Book )

31 editions published between 1968 and 1973 in 4 languages and held by 611 WorldCat member libraries worldwide

Set theory by Kazimierz Kuratowski( Book )

6 editions published between 1967 and 1976 in English and Undetermined and held by 583 WorldCat member libraries worldwide

Introduction to higher algebra by Andrzej Mostowski( Book )

24 editions published in 1964 in 3 languages and held by 540 WorldCat member libraries worldwide

Set theory : with an introduction to descriptive set theory by Kazimierz Kuratowski( Book )

29 editions published between 1976 and 2000 in 3 languages and held by 538 WorldCat member libraries worldwide

Provability, Computability and Reflection
Foundational studies : selected works by Andrzej Mostowski( )

40 editions published between 1978 and 1979 in 3 languages and held by 397 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 1930-1964 by Andrzej Mostowski( Book )

28 editions published between 1965 and 1967 in 4 languages and held by 387 WorldCat member libraries worldwide

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

13 editions published between 1967 and 1971 in French and English and held by 198 WorldCat member libraries worldwide

Set theory by Kazimierz Kuratowski( Book )

29 editions published between 1967 and 1976 in 4 languages and held by 136 WorldCat member libraries worldwide

Teoria mnogości by Kazimierz Kuratowski( Book )

13 editions published between 1952 and 1978 in Polish and Undetermined and held by 107 WorldCat member libraries worldwide

The present state of investigations on the foundations of mathematics by Andrzej Mostowski( Book )

10 editions published in 1955 in English and held by 71 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 66 WorldCat member libraries worldwide

Logika matematyczna : kurs uniwersytecki by Andrzej Mostowski( Book )

9 editions published in 1948 in 3 languages and held by 64 WorldCat member libraries worldwide

Algebra liniowa by Andrzej Mostowski( Book )

14 editions published between 1958 and 1977 in Polish and Undetermined and held by 48 WorldCat member libraries worldwide

Elementy algebry wyższej by Andrzej Mostowski( Book )

16 editions published between 1958 and 1977 in Polish and held by 39 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 : [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 36 WorldCat member libraries worldwide

Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 by Andrzej Mostowski( Book )

6 editions published between 1965 and 1967 in English and Swedish and held by 33 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.51 (from 0.02 for Andrzej Mo ... to 0.93 for Thirty yea ...)

Andrzej Mostowski and foundational studies
Covers
Undecidable theoriesSet theory
Alternative Names
Andrzej Mostowski matemático polaco

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