Zawartość
Pełne teksty:
Warianty tytułu
Abstrakty
CONTENTS
0. Motivation, results to be used in the sequel ................5
1. Slicing $L_α$'s ..........................................................10
2. Hereditarily countable, definable elements ................13
3. Spectrum of L.............................................................15
4. The width of elements of spectrum ............................19
5. Non-uniform strong definability ..................................26
6. Solution to a problem of Wilmers................................32
7. Supremum of spectrum of L........................................36
References.....................................................................38
Słowa kluczowe
Tematy
Miejsce publikacji
Warszawa
Copyright
Seria
Rozprawy Matematyczne
tom/nr w serii:
211
Liczba stron
38
Liczba rozdzia³ów
Opis fizyczny
Dissertationes Mathematicae, Tom CCXI
Daty
wydano
1983
Twórcy
autor
autor
Bibliografia
- [1] J. Barwise, Admissible sets and structures, Springer-Verlag, Berlin-Heidelberg-New York 1975.
- [2] A. Krawczyk, W. Marek, On the rules of proof generated by hierarchies, In: Set theory and hierarchy theory III, Bierutowice, Poland 1976, Springer-Lecture Notes 619, Springer-Verlag, Berlin-Heidelberg-New York 1977.
- [3] W. Marek, Stable sets, a characterization of β₂-models of full second order arithmetic and some related facts, Fund. Math. 82 (1974), p. 175-189.
- [4] W. Marek, M. Srebrny, Gaps in constructible universe, Ann. of Math. Logic 6 (1974), p. 359-394.
- [5] W. Marek, M. Srebrny, On transitive models for fragments of set theory, Bull. Acad. Polon. Sci. 21 (1973), p. 389-392.
- [6] A. Mostowski, On models of Zermelo-Fraenkel set theory satisfying the axiom of constructibility, Acta Phil. Fennica 18 (1965), p. 135-144.
- [7] G. Wilmers, Some properties of constructible models of set theory related to elementary equivalence, Bull. Acad. Polon. Sci. 16 (1968), p. 693-698.
Języki publikacji
EN |
Uwagi
Identyfikator YADDA
bwmeta1.element.zamlynska-1afccedc-bd3e-45b8-a2f9-3cbb4c6000bb
Identyfikatory
ISBN
83-01-03079-8
ISSN
0012-3862
Kolekcja
DML-PL
