Reset Filters
Filter Related Topics: Verzamelingen wiskunde

Cover is for reference only

Foundational studies : selected works. Volume I /

Provability, Computability and Reflection.

Saved in:
Bibliographic Details
Corporate Authors: Elsevier Science & Technology
Group Author: Mostowski, Andrzej; Kuratowski, Kazimierz, 1896-1980
Published: North-Holland Pub. Co. ; Sole distributor for the U.S.A. and Canada, Elsevier North-Holland,
Publisher Address: Amsterdam ; New York : New York :
Publication Dates: 1979.
Literature type: eBook
Language: English
Series: Studies in logic and the foundations of mathematics ; v. 93
Subjects:
Mostowski, Andrzej > Bibliography
Mostowski, Andrzej
Logic, Symbolic and mathematical
Mostowski, Andrzej > Bibliography. Logic, Symbolic and mathematical
MATHEMATICS > Infinity
MATHEMATICS > Logic
Electronic books
Bibliography
Online Access: http://www.sciencedirect.com/science/bookseries/0049237X/93/part/PA
Summary: Provability, Computability and Reflection.
Item Description: Some of the papers translated from Polish, French or German.
Carrier Form: 1 online resource (1 volume).
Bibliography: "A bibliography of works of Andrzej Mostowski (compiled by W. Marek) ": pages v. 1, p. xi-xix.
ISBN: 9780080955001
0080955002
Index Number: QA9
CLC: O141
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.
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.

Related Book Recommendations