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

Spectrum of L

Autorzy

W. Marek K. Rasmussen

Seria

Rozprawy Matematyczne tom/nr w serii: 211 wydano: 1983

Zawartość

Pełne teksty:
rm21101.pdf

Warianty tytułu

Abstrakty

EN

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

Wydawca

Instytut Matematyczny Polskiej Akademii Nauk

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
W. Marek
autor
K. Rasmussen

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