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

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
Keywords Key words and phrases: set theory/fine structure/forcing/generic extensions/core models
Categories (categorize this paper)
DOI 10.1007/s001530050145
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,657
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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

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-6):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-2):203-211.
The Stable Core.Sy-David Friedman - 2012 - Bulletin of Symbolic Logic 18 (2):261-267.


Added to PP index

Total views
21 ( #521,798 of 2,462,368 )

Recent downloads (6 months)
1 ( #449,313 of 2,462,368 )

How can I increase my downloads?


My notes