Representing Sets of Ordinals as Countable Unions of Sets in the Core Model

DOI10.2307/2001455zbMath0714.03045OpenAlexW4247160298MaRDI QIDQ3199411

Menachem Magidor

Publication date: 1990

Full work available at URL: https://doi.org/10.2307/2001455

zbMATH Keywords

core modelclubcovering theorems0 sharp

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other combinatorial set theory (03E05)

Related Items (12)

Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities ⋮ Cofinalities of elementary substructures of structures on \(\aleph_ \omega\) ⋮ Splitting \({\mathcal P}_\kappa \lambda\) into maximally many stationary sets ⋮ On the size of closed unbounded sets ⋮ Two cardinal versions of diamond ⋮ Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\) ⋮ Global co-stationarity of the ground model from a new countable length sequence ⋮ Game ideals ⋮ Some applications of mixed support iterations ⋮ A Computational Approach to an Alternative Working Environment for the Constructible Universe ⋮ Non-saturation of the non-stationary ideal on P _κ (λ) with λ of countable cofinality ⋮ Large cardinals, inner models, and determinacy: an introductory overview

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Aspects of constructibility
• The core model
• On the Semantics of the Constructible Levels
• The fine structure of the constructible hierarchy
• Some combinatorial problems concerning uncountable cardinals

This page was built for publication: Representing Sets of Ordinals as Countable Unions of Sets in the Core Model