Combinatorial principles in the core model for one Woodin cardinal

DOI10.1016/0168-0072(94)00036-3zbMath0834.03018OpenAlexW2040632702MaRDI QIDQ1896486

Ernest Schimmerling

Publication date: 31 March 1996

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(94)00036-3

zbMATH Keywords

core modelfine structureinner modelsstationary reflectionproper forcingcombinatorial principlesWoodin cardinal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other combinatorial set theory (03E05)

Related Items (51)

Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁ ⋮ Conjectures of Rado and Chang and special Aronszajn trees ⋮ The linearity of the Mitchell order ⋮ The \(\ast\)-variation of the Banach-Mazur game and forcing axioms ⋮ Subcompact cardinals, squares, and stationary reflection ⋮ Separating weak partial square principles ⋮ Club stationary reflection and the special Aronszajn tree property ⋮ Scales at \({\aleph_{\omega} }\) ⋮ Chang's conjecture and weak square ⋮ Hierarchies of forcing axioms II ⋮ Strong Chang’s Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles ⋮ The strong tree property and weak square ⋮ Aronszajn trees, square principles, and stationary reflection ⋮ Simultaneous stationary reflection and square sequences ⋮ The Jensen Covering Property ⋮ Chang's conjecture with \(\square_{\omega_1, 2}\) from an \(\omega_1\)-Erdős cardinal ⋮ Ideals and combinatorial principles ⋮ On the consistency strength of the proper forcing axiom ⋮ Smooth categories and global \(\square\) ⋮ CHARACTERIZATION OF □_κ IN CORE MODELS ⋮ DODD PARAMETERS AND λ-INDEXING OF EXTENDERS ⋮ Cardinal transfer properties in extender models ⋮ A global version of a theorem of Ben-David and Magidor ⋮ Coherent sequences and threads ⋮ Fine structure for tame inner models ⋮ SQUARES, SCALES AND STATIONARY REFLECTION ⋮ WEAK SQUARES AND VERY GOOD SCALES ⋮ Collapsing successors of singulars ⋮ Rado's Conjecture and Ascent Paths of Square Sequences ⋮ Iterability for (transfinite) stacks ⋮ The covering lemma up to a Woodin cardinal ⋮ Squares and uncountably singularized cardinals ⋮ Stationary sets added when forcing squares ⋮ ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS ⋮ On the consistency strength of two choiceless cardinal patterns ⋮ A finite family weak square principle ⋮ Square in Core Models ⋮ Generic Embeddings and the Failure of Box ⋮ Dense non-reflection for stationary collections of countable sets ⋮ Stacking mice ⋮ Martin’s maximum and weak square ⋮ MRP, tree properties and square principles ⋮ The semi-weak square principle ⋮ A diamond-plus principle consistent with AD ⋮ Square principles with tail-end agreement ⋮ Indexed squares ⋮ The definability of \(\mathbb{E}\) in self-iterable mice ⋮ The maximality of the core model ⋮ Deconstructing inner model theory ⋮ A question about Suslin trees and the weak square hierarchy ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING

Cites Work

• The covering lemma up to a Woodin cardinal
• Proper forcing
• The core model for sequences of measures. I
• The weak □* is really weaker than the full □
• The core model
• Iteration Trees
• Jensen's ⃞ principles and the Novák number of partially ordered sets
• On the Cardinality of $$ \sum_2^1 $$ Sets of Reals
• The fine structure of the constructible hierarchy
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Combinatorial principles in the core model for one Woodin cardinal