Generic relativizations of fine structure
暂无分享,去创建一个
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.
[1] Kai Hauser. A Minimal Counterexample To Universal Baireness , 1999, J. Symb. Log..
[2] A. Levy,et al. Measurable cardinals and the continuum hypothesis , 1967 .
[3] Kai Hauser,et al. The Consistency Strength of Projective Absoluteness , 1995, Ann. Pure Appl. Log..