Covering theorems for the core model, and an application to stationary set reflection

DOI10.1016/j.apal.2009.06.001zbMath1183.03039OpenAlexW2065550657MaRDI QIDQ732054

Sean D. Cox

Publication date: 9 October 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.06.001

zbMATH Keywords

inner modelcore modelfine structurecovering lemmastrong cardinalstationary set reflection

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items (13)

Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities ⋮ Nonregular ultrafilters on ω₂ ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Bounding 2d functions by products of 1d functions ⋮ Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering ⋮ Singularizing successor cardinals by forcing ⋮ When cardinals determine the power set: inner models and Härtig quantifier logic ⋮ Covering at limit cardinals of K ⋮ Global square sequences in extender models ⋮ Consistency strength of higher Chang's conjecture, without CH ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ More fine structural global square sequences ⋮ The diagonal reflection principle

Cites Work

• Some exact equiconsistency results in set theory
• Applications of the Covering Lemma for Sequences of Measures
• Canonical functions, non-regular ultrafilters and Ulam's problem on ω₁
• A new class of order types
• Reflecting stationary sets
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Inner models and large cardinals

This page was built for publication: Covering theorems for the core model, and an application to stationary set reflection