Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Cover of the book
Tytuł książki

On the metamathematics of impredicative set theory

Autorzy
Seria
Rozprawy Matematyczne tom/nr w serii: 98 wydano: 1973
Zawartość
Warianty tytułu
Abstrakty
EN

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

rozwiń roczniki

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ć.