On the metamathematics of impredicative set theory

Marek, W.

Książka - szczegóły

Tytuł książki

On the metamathematics of impredicative set theory

Autorzy

W. Marek

Seria

Rozprawy Matematyczne tom/nr w serii: 98 wydano: 1973

Zawartość

Pełne teksty:

Pobierz

Warianty tytułu

Abstrakty

CONTENTS
Introduction....................................................................................... 5
0. Set theory M.................................................................................. 6
1. Reflection principles in M.......................................................... 12
2. The trees....................................................................................... 18
3. Ordinal trees. Constructibility in M........................................... 25
4. Minimal model for M................................................................... 30
5. Forcing in M, independence results for M.............................. 34
6. Hierarchy of formulas in M......................................................... 37
References....................................................................................... 41

Słowa kluczowe

Tematy

Wydawca

Instytut Matematyczny Polskiej Akademii Nauk

Miejsce publikacji

Warszawa

Seria

Rozprawy Matematyczne tom/nr w serii: 98

Liczba stron

Liczba rozdzia³ów

Opis fizyczny

Dissertationes Mathematicae, Tom XCVIII

Daty

wydano

1973

Twórcy

autor

W. Marek

Bibliografia

1] S. Feferman, Arithmetization of metamathematics in general setting, Fund. Hath. 49 (1960), p. 35-92.
[2] H. Gaifman, On iterated ultrapowers (to appear).
[3] K. Godel, Consistency of the axiom of choice, Princeton 1940.
[4] J. L. Kelley, General topology, Princeton 1955.
[5] A. Lévy, A hierarchy of formulas in set theory, Mem. A.M.S. 57 Providence R. (1965).
[6] A. Lévy, Definability in set theory II, in: Math. Logic and Found, of Set Theory, North Holland 1970.
[7] R. Montague, Semantic closure and non-finite axiomatizability, in: Infinitistic methods, Warszawa 1960.
[8] A. Morse, Set theory, New York 1965.
[9] Y. Moschovakis, Predicative set theory, Proc. A.M. S. Symp. 13 (1971).
[10] A. Mostowski, Constructible sets, Warszawa 1969.
[11] A. Mostowski, Some impredicative definitions in set theory, Fund. Math. 37 (1951), p. 111-124.
[12] J. C. Sheperdson, Inner models for set theory, J. S.L. 16-18 (1951-1953).
[13] A. Zarach, Forcing with proper classes, Fund. Math, (to appear).
[14] P. Zbierski, Doctoral Dissertation, Warszawa 1971.

Języki publikacji

Uwagi

Identyfikator YADDA

bwmeta1.element.zamlynska-09292020-e310-420b-a5a6-35e0e374a3e1

Identyfikatory

Kolekcja

DML-PL

Zawartość książki

rozwiń roczniki