Coherent sequences and threads

DOI10.1016/j.aim.2007.05.005zbMath1124.03022OpenAlexW2066529933WikidataQ126210882 ScholiaQ126210882MaRDI QIDQ2456216

Ernest Schimmerling

Publication date: 17 October 2007

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.aim.2007.05.005

zbMATH Keywords

large cardinalscore modelcombinatorial principle

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05) Determinacy principles (03E60)

Related Items (15)

Diagonal reflections on squares ⋮ Covering with universally Baire operators ⋮ Hierarchies of forcing axioms I ⋮ More on uniform ultrafilters over a singular cardinal ⋮ HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES ⋮ HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS ⋮ PFA and guessing models ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ Square principles in \(\mathbb{P}_{\max}\) extensions ⋮ Some consequences of reflection on the approachability ideal ⋮ Equiconsistencies at subcompact cardinals ⋮ Stacking mice ⋮ AN EQUICONSISTENCY RESULT ON PARTIAL SQUARES ⋮ ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS ⋮ Nontame mouse from the failure of square at a singular strong limit cardinal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
• Forcing axioms and stationary sets
• The core model for almost linear iterations
• Combinatorial principles in the core model for one Woodin cardinal
• Weak covering without countable closure
• Square in Core Models
• A Core Model Toolbox and Guide
• Deconstructing inner model theory
• A Proof of Projective Determinacy
• The maximality of the core model
• THE ABC'S of Mice
• The Jensen Covering Property
• Jensen's ⃞ principles and the Novák number of partially ordered sets
• Generic Embeddings and the Failure of Box
• PFA implies AD^L(ℝ)
• The fine structure of the constructible hierarchy
• CHARACTERIZATION OF □_κ IN CORE MODELS
• SET MAPPING REFLECTION

This page was built for publication: Coherent sequences and threads