Generic relativizations of fine structure

Archive for Mathematical Logic 39 (4):227-251 (2000)
  Copy   BIBTEX

Abstract

It is shown how certain generic extensions of a fine structural model in the sense of Mitchell and Steel [MiSt] can be reorganized as relativizations of the model to the generic object. This is then applied to the construction of Steel's core model for one Woodin cardinal [St] and its generalizations

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

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

Through your library

Similar books and articles

A minimal counterexample to universal baireness.Kai Hauser - 1999 - Journal of Symbolic Logic 64 (4):1601-1627.
Results on the Generic Kurepa Hypothesis.R. B. Jensen & K. Schlechta - 1990 - Archive for Mathematical Logic 30 (1):13-27.
Essential Forcing Generics.Stephanie Cawthorne & David Kueker - 2000 - Notre Dame Journal of Formal Logic 41 (1):41-52.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
On superstable generic structures.Koichiro Ikeda & Hirotaka Kikyo - 2012 - Archive for Mathematical Logic 51 (5):591-600.
The fine structure of real mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.
Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Jónsson cardinals, erdös cardinals, and the core model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
Generic Expansions of Countable Models.Silvia Barbina & Domenico Zambella - 2012 - Notre Dame Journal of Formal Logic 53 (4):511-523.
Ab initio generic structures which are superstable but not ω-stable.Koichiro Ikeda - 2012 - Archive for Mathematical Logic 51 (1):203-211.
The stable core.Sy-David Friedman - 2012 - Bulletin of Symbolic Logic 18 (2):261-267.

Analytics

Added to PP
2013-11-23

Downloads
27 (#591,340)

6 months
4 (#795,160)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Diamond Principle Consistent with AD.Daniel Cunningham - 2017 - Notre Dame Journal of Formal Logic 58 (3):397-407.
A diamond-plus principle consistent with AD.Daniel W. Cunningham - 2020 - Archive for Mathematical Logic 59 (5-6):755-775.

Add more citations

References found in this work

No references found.

Add more references