Inner models with many Woodin cardinals
From MaRDI portal
Publication:1314641
DOI10.1016/0168-0072(93)90037-EzbMath0805.03043OpenAlexW2007638330MaRDI QIDQ1314641
Publication date: 7 March 1994
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(93)90037-e
minimal modelsfine structureiteration treesextender sequencemodels with more than one Woodin cardinal
Related Items
Projectively well-ordered inner models, The consistency strength of projective absoluteness, Mouse sets, HODL(ℝ) is a Core Model Below Θ, Partition properties for simply definable colourings, \(L(\mathbb{R}, \mu)\) is unique, An undecidable extension of Morley's theorem on the number of countable models, Optimal Proofs of Determinacy, Recognizable sets and Woodin cardinals: computation beyond the constructible universe, Σ1(κ)-DEFINABLE SUBSETS OF H(κ+), The Jensen Covering Property, On the Reals Which Cannot Be Random, Inner Models and Large Cardinals, Inner model operators in \(L(\mathbb{R})\), Fine structure for tame inner models, Iteration Trees, The covering lemma up to a Woodin cardinal, Proper forcing and L(ℝ), Unbounded and dominating reals in Hechler extensions, A finite family weak square principle, A weak Dodd-Jensen lemma, Inner Models and Ultrafilters In L(ℝ), The domestic levels of \(K^c\) are iterable, A minimal counterexample to universal baireness, How to win some simple iteration games, Strong cardinals in the core model, A WELLORDER OF THE REALS WITH SATURATED, Long Borel games, Determined admissible sets, The strength of choiceless patterns of singular and weakly compact cardinals, Determinacy for games ending at the first admissible relative to the play, PFA implies ADL(ℝ), Mice with finitely many Woodin cardinals from optimal determinacy hypotheses, On countable stationary towers, IN INNER MODELS WITH WOODIN CARDINALS, Proper Forcing and Remarkable Cardinals, Inner models in the region of a Woodin limit of Woodin cardinals, The maximality of the core model, Core models with more Woodin cardinals
Cites Work
