Foundational studies, Volume I selected works
Provability, Computability and Reflection
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam
North-Holland Pub. Co.
1979, 1979
|
| Series: | Studies in logic and the foundations of mathematics
|
| Subjects: | |
| Online Access: | |
| Collection: | Elsevier eBook collection Mathematics - Collection details see MPG.ReNa |
Table of Contents:
- Front Cover; Foundational Studies: Selected Works; Copyright Page; Contents; Editorial note; A. Mostowski (1913-1975); Bibliography of works of A. Mostowski; Andrzej Mostowski's studies of decidability, recursion and hierarchy; The investigations of Andrzej Mostowski in the foundations of set theory; The work of Andrzej Mostowski in model theory; Research work of A. Mostowski in logical calculi; Contribution of Mostowski to foundation of second order arithmetic; Chapter 1 Thirty years of foundational studies; Chapter 2 Models of set theory
- "A bibliography of works of Andrzej Mostowski (compiled by W. Marek) ": pages v. 1, p. xi-xix
- Chapter 3 On the independence of the well-ordering theorem from the ordering principleChapter 4 On definable sets of positive integers; Chapter 5 The classical and the?-complete arithmetic; Chapter 6 Formal system of analysis based on an infinitistic rule of proof; Chapter 7 An exposition of forcing; Chapter 8 Some impredicative definitions in the axiomatic set-theory; Chapter 9 Models of axiomatic theories admitting automorphisms; Chapter 10 On?-models which are not ß-models; Chapter 11 Observations concerning elementary extensions of?-models I.