Foundational Studies Selected Works

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