Author(s): Andrzej Mostowski (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 93, Part A
Publisher: Elsevier Science
Year: 1979
Language: English
Pages: ii-xl, 1-635
Content:
Edited by
Pages ii-iii
Copyright page
Page iv
Editorial Note
Pages vii-viii
Andrzej Mostowski (1913–1975)
Pages ix-x
A Bibliography of works of Andrzej Mostowski Original Research Article
Pages xi-xix
W. Marek
Research work of A. Mostowski in logical calculi Original Research Article
Pages xli-xliv
C. Rauszer
The contribution of Mostowski to the foundations of second order arithmetic Original Research Article
Pages xlv-xlvi
P. Zbierski
Andrzej Mostowski's studies of decidability, recursion and hierarchy Original Research Article
Pages xxi-xxv
Andrzej Grzegorczyk
The investigations of Andrzej Mostowski in the foundations of set theory Original Research Article
Pages xxvii-xxxi
W. Guzicki, W. Marek
The work of Andrzej Mostowski in model theory Original Research Article
Pages xxxiii-xl
L. Pacholski
Thirty Years of Foundational Studies Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930–1964 Original Research Article
Pages 1-176
Andrzej Mostowski
Models of Set Theory Original Research Article
Pages 177-289
A. Mostowski
On the independence of the well-ordering theorem from the ordering principle Original Research Article
Pages 290-338
A. Mostowski
On definable sets of positive integers ) Original Research Article
Pages 339-370
Andrzej Mostowski
The Classical and The П‰-Complete Arithmetic Original Research Article
Pages 371-389
A. Grzegorczyk, A. Mostowski, C. Ryll-Nardzewski
Formal system of analysis based on an infinitistic rule of proof Original Research Article
Pages 390-415
A. Mostowski
An Exposition of Forcing Original Research Article
Pages 416-478
A. Mostowski
Some Impredicative Definitions in the Axiomatic Set-Theory Original Research Article
Pages 479-492
Andrzej Mostowski
Correction to the paper „Some Impredicative Definitions in the Axiomatic Set-Theory” by Andrzej Mostowski
Page 493
Models of axiomatic theories admitting automorphisms Original Research Article
Pages 494-512
A. Ehrenfeucht, A. Mostowski
On П‰-models which are not ОІ-models Original Research Article
Pages 513-523
A. Mostowski, Y. Suzuki
Observations Concerning Elementary Extensions of П‰-Models Original Research Article
Pages 524-530
Andrzej Mostowski
An undecidable arithmetical statement Original Research Article
Pages 531-552
Andrzej Mostowski
On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes Original Research Article
Pages 553-635
W. Marek, A. Mostowski
