Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Cover of the book
Tytuł książki

Constructibility in Ackermann's set theory

Autorzy

C. Alkor

Seria

Rozprawy Matematyczne tom/nr w serii: 196 wydano: 1982

Zawartość

Pełne teksty:
rm196_01.pdf

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

Wydawca

Instytut Matematyczny Polskiej Akademii Nauk

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
C. Alkor

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