Canonical structure in the universe of set theory. I

DOI10.1016/j.apal.2004.04.002zbMath1058.03051OpenAlexW2020873588MaRDI QIDQ1887663

Matthew Foreman, James Cummings, Menachem Magidor

Publication date: 22 November 2004

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.2004.04.002

zbMATH Keywords

PCF theoryApproachable ordinalCovering propertiesGood ordinalideal \(I[\lambda\)]Internally approachable structureMutual stationarityPrecipitous idealSquare sequenceStationary reflectionTight structure

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other combinatorial set theory (03E05) Ordered sets and their cofinalities; pcf theory (03E04)

Related Items

Smoke and mirrors: combinatorial properties of small cardinals equiconsistent with huge cardinals, Nonregular ultrafilters on ω₂, The tree property at ℵ_ω+1, The tree property at ℵ_ω+1, Two-cardinal diamond star, Patterns of stationary reflection, Higher Souslin trees and the GCH, revisited, The PCF conjecture and large cardinals, KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS, ON SINGULAR STATIONARITY II (TIGHT STATIONARITY AND EXTENDERS-BASED METHODS), ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS, Continuous tree-like scales, Canonical structure in the universe of set theory. II., CHANG’S CONJECTURE, GENERIC ELEMENTARY EMBEDDINGS AND INNER MODELS FOR HUGE CARDINALS, On the relationship between mutual and tight stationarity, Diagonal Prikry extensions, Some applications of mixed support iterations, On the ideal \(J[\kappa\)], Ideals on \({P_{\kappa}(\lambda)}\) associated with games of uncountable length, Cofinality changes required for a large set of unapproachable ordinals below $\aleph _{\omega +1}$, Namba Forcing and No Good Scale, Tight stationarity and tree-like scales, Notes on singular cardinal combinatorics, Some problems in singular cardinals combinatorics

Cites Work

• Shelah's pcf theory and its applications
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Reflecting stationary sets and successors of singular cardinals
• Large cardinals and definable counterexamples to the continuum hypothesis
• Saturated filters at successors of singulars, weak reflection and yet another weak club principle
• SQUARES, SCALES AND STATIONARY REFLECTION
• Cardinal Arithmetic
• The non-compactness of square
• Splitting Strongly Almost Disjoint Families
• Saturation Properties of Ideals in Generic Extensions.II
• When Does Almost Free Imply Free? (For Groups, Transversals, etc.)
• A very weak square principle
• Some Independence Results on Reflection
• Collapsing successors of singulars
• WEAK REFLECTION AT THE SUCCESSOR OF A SINGULAR CARDINAL
• A new Löwenheim-Skolem theorem
• A consistency result on weak reflection
• Aronszajn trees and the independence of the transfer property
• Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item