A new inner model for ZFC

Journal of Symbolic Logic 46 (2):393-396 (1981)
  Copy   BIBTEX

Abstract

Assume $(\exists\kappa) \lbrack\kappa \rightarrow (\kappa)^{ . Then a new inner model H exists and has the following properties: (1) H ≠ HOD; (2) Th(H) = Th(HOD); (3) there is j: H → H; (4) there is a c.u.b. class of indiscernibles for H

Categories

Keywords

Reprint years

DOI

10.2307/2273631

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Stably measurable cardinals.Philip D. Welch - 2021 - Journal of Symbolic Logic 86 (2):448-470.
On a problem of C. H. dowker.Z. Balogh & G. Gruenhage - 1991 - Journal of Symbolic Logic 56 (4):1284-1289.
The complexity of the core model.William J. Mitchell - 1998 - Journal of Symbolic Logic 63 (4):1393-1398.
The Definability of the Extender Sequence From In.Farmer Schlutzenberg - 2024 - Journal of Symbolic Logic 89 (2):427-459.
Property {(hbar)} and cellularity of complete Boolean algebras.Miloš S. Kurilić & Stevo Todorčević - 2009 - Archive for Mathematical Logic 48 (8):705-718.
The Complexity of the Core Model.William Mitchell - 1998 - Journal of Symbolic Logic 63 (4):1393-1398.
Normality and $\mathscr{P}(\kappa)/\mathscr{J}$.R. Zrotowski - 1991 - Journal of Symbolic Logic 56 (3):1064-1067.
Fields interpretable in superrosy groups with NIP (the non-solvable case).Krzysztof Krupiński - 2010 - Journal of Symbolic Logic 75 (1):372-386.
The Largest Countable Inductive Set is a Mouse Set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Extender based forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.

Analytics

Added to PP
2009-01-28

Downloads
29 (#569,108)

6 months
8 (#415,167)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Boolean extensions and measurable cardinals.K. Kunen - 1971 - Annals of Mathematical Logic 2 (4):359.

Add more references