Coherent sequences and threads

DOI10.1016/j.aim.2007.05.005zbMath1124.03022MaRDI 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 cardinals; core model; combinatorial principle

Mathematics Subject Classification ID

03E45: Inner models, including constructibility, ordinal definability, and core models

03E55: Large cardinals

03E05: Other combinatorial set theory

03E60: Determinacy principles

Related Items

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

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