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

Constructibility in Ackermann's set theory

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

CONTENTS

Introduction......................... 5
Section I. Preliminaries............ 6
 § 1. Notation..................... 6
 § 2. Ackermann's set theory and some extensions................. 7
 § 3. Absoluteness............................................... 8
 § 4. Ordinals................................................... 9
 § 5. Reflection principles...................................... 10
Section 2. The usual notion of constructibility.............. 11
 § 1. General considerations about the constructibility in A...... 11
 § 2. Definitions of some syntactic and semantic notions.......... 12
 § 3. The formula $w=\^{L}_β$...................................... 15
 § 4. Satisfaction................................................. 16
 § 5. Extendability of ZF-models to models of A.................... 17
Section 3. The constructible universe Λ........................... 19
 § 1. The formula H(w, β, V)...................................... 19
 § 2. Some results concerning the formula $w = H_β$............... 20
 § 3. Proof of the main theorem.................................... 24
 § 4. The minimal model of A...................................... 28
 § 5. Ordinal definable classes................................... 29
 § 6. Constructibility in related theories........................ 33
References....................................................... 36
Słowa kluczowe
Tematy
Miejsce publikacji
Warszawa
Copyright
Seria
Rozprawy Matematyczne tom/nr w serii: 196
Liczba stron
36
Liczba rozdzia³ów
Opis fizyczny
Dissertationes Mathematicae, Tom 196
Daty
wydano
1982
Twórcy
autor
Bibliografia
  • [1] W. Ackermann, Zur Axiomatik der Mengenlehre, Math. Ann. 131 (1956), pp. 336-345.
  • [2] C. Alkor, Forcing in Ackermanns Mengenlehre, Zeitschr. Math. Logik und Grundl. Math. 25 (1979), pp. 265 -280.
  • [3] C. Alkor, The problem of extendability, Boll. dell'Unione Mat. Ital. (5) 16-A (1979), pp. 85-91.
  • [4] R. Grewe, Natural models of Ackermann s set theory, J. Symb. Logic 34 (1969), pp. 481-488.
  • [5] J. Lake, Natural models of Ackermann-type set theories, J. Symb. Logic 40 (1975), pp. 151-158.
  • [6] A. Lévy, On Ackermann's set theory, J. Symb. Logic 24 (1959), pp. 154-166.
  • [7] A. Lévy and R. L. Vaught, Principles of partial reflection in the set theories of Zermelo and Ackermann, Pacific J. Math. 11 (1961), pp. 1045-1062.
  • [8] W. Marek, On the metamathematics of the impredicative set theory, Dissertationes Math. 98, Warszawa 1973.
  • [9] W. Marek, and A. Mostowski, On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes, in "Logic Conference, Kiel 1974", Berlin-Heidelberg-New York 1975.
  • [10] A. Mostowski, Constructible sets with applications, Amsterdam 1969.
  • [11] W. Reinhardt, Ackermann's set theory equals ZF, Annals of Math. Logic 2 (1970), pp. 189-249.
Języki publikacji
EN
Uwagi
Identyfikator YADDA
bwmeta1.element.zamlynska-08b8a6a5-86e6-4808-b7f7-6a8ea3cd9c39
Identyfikatory
ISBN
83-01-01180-7
ISSN
0012-3862
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ć.