Coherent sequences and threads
From MaRDI portal
Publication:2456216
DOI10.1016/j.aim.2007.05.005zbMath1124.03022WikidataQ126210882 ScholiaQ126210882MaRDI QIDQ2456216
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
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 ADL(ℝ)
- The fine structure of the constructible hierarchy
- CHARACTERIZATION OF □κ IN CORE MODELS
- SET MAPPING REFLECTION