Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Zapraszamy na https://bibliotekanauki.pl
Zawartość
Pełne teksty:
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
Miejsce publikacji
Warszawa
Copyright
Seria
Rozprawy Matematyczne
tom/nr w serii:
98
Liczba stron
41
Liczba rozdzia³ów
Opis fizyczny
Dissertationes Mathematicae, Tom XCVIII
Daty
wydano
1973
Twórcy
autor
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
| EN |
Uwagi
Identyfikator YADDA
bwmeta1.element.zamlynska-09292020-e310-420b-a5a6-35e0e374a3e1
Identyfikatory
Kolekcja
DML-PL
Zawartość książki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.