Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Representing Sets of Ordinals as Countable Unions of Sets in the Core Model
Beteiligte:
Magidor, Menachem
Erschienen:
American Mathematical Society, 1990
Erschienen in:
Transactions of the American Mathematical Society, 317 (1990) 1, Seite 91-126
Sprache:
Englisch
ISSN:
0002-9947
Entstehung:
Anmerkungen:
Beschreibung:
We prove the following theorems. Theorem 1 (|neg 0|tt#). Every set of ordinals which is closed under primitive recursive set functions is a countable union of sets in L. Theorem 2. (No inner model with an Erdos cardinal, i.e.$\kappa \rightarrow (\omega_1)^{<\omega}$.) For every ordinal β, there is in K an algebra on β with countably many operations such that every subset of β closed under the operations of the algebra is a countable union of sets in K.