Cargando…
Foundational studies : selected works. Volume I /
Provability, Computability and Reflection.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : New York :
North-Holland Pub. Co. ; Sole distributor for the U.S.A. and Canada, Elsevier North-Holland,
1979.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 93. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- 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.
- 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.