UID:
almahu_9947367876502882
Format:
1 online resource (684 p.)
ISBN:
1-282-30928-5
,
9786612309281
,
0-08-095500-2
Series Statement:
Studies in Logic and the Foundations of Mathematics ; 93
Content:
Provability, Computability and Reflection
Note:
Description based upon print version of record.
,
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
,
Chapter 12 An undecidable arithmetical statementChapter 13 On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes
,
English
Additional Edition:
ISBN 0-444-85102-X
Language:
English
Bookmarklink
