SQUARES, SCALES AND STATIONARY REFLECTION

DOI10.1142/S021906130100003XzbMath0988.03075OpenAlexW2151715640MaRDI QIDQ2732507

Menachem Magidor, Matthew Foreman, James Cummings

Publication date: 22 July 2002

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s021906130100003x

zbMATH Keywords

consistencyreflectionforcingpcf theorysingular cardinalscombinatorial principles

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 (only showing first 100 items - show all)

Identity crises and strong compactness. III: Woodin cardinals ⋮ Sequentially linearly Lindelöf spaces ⋮ Approachability and Games on Posets ⋮ The non-compactness of square ⋮ Square and delta reflection ⋮ Canonical structure in the universe of set theory. I ⋮ Cofinality of normal ideals on \(P_\kappa(\lambda)\). II ⋮ Conjectures of Rado and Chang and special Aronszajn trees ⋮ Failures of SCH and level by level equivalence ⋮ Forcing axioms and the Galvin number ⋮ The tree property at ℵ_ω+1 ⋮ A quasi-lower bound on the consistency strength of PFA ⋮ Two-cardinal diamond star ⋮ The least strongly compact can be the least strong and indestructible ⋮ The secret life of \(\mu\)-clubs ⋮ The Bristol model: An abyss called a Cohen real ⋮ Patterns of stationary reflection ⋮ Higher Souslin trees and the GCH, revisited ⋮ IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE ⋮ A microscopic approach to Souslin-tree constructions. I. ⋮ Weak square and stationary reflection ⋮ Subcompact cardinals, squares, and stationary reflection ⋮ Covering properties and square principles ⋮ Separating weak partial square principles ⋮ Squares and covering matrices ⋮ Combinatorics at \(\aleph_\omega\) ⋮ Scales at \({\aleph_{\omega} }\) ⋮ Aronszajn trees, square principles, and stationary reflection ⋮ Simultaneous stationary reflection and square sequences ⋮ Indestructibility of Vopěnka's principle ⋮ Club-guessing, stationary reflection, and coloring theorems ⋮ Consecutive singular cardinals and the continuum function ⋮ The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\) ⋮ Indestructible strong compactness but not supercompactness ⋮ Global square and mutual stationarity at the \(\aleph_n\) ⋮ Strong combinatorial principles and level by level equivalence ⋮ DENSE IDEALS AND CARDINAL ARITHMETIC ⋮ Diagonal reflections on squares ⋮ Noetherian type in topological products ⋮ The extent of strength in the club filters ⋮ A global version of a theorem of Ben-David and Magidor ⋮ Good and bad points in scales ⋮ Diamond, scales and GCH down to \(\aleph_{\omega^2}\) ⋮ Singularizing cardinals ⋮ An \(L\)-like model containing very large cardinals ⋮ Large cardinals need not be large in HOD ⋮ WEAK SQUARES AND VERY GOOD SCALES ⋮ HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES ⋮ Collapsing successors of singulars ⋮ Diamond, GCH and weak square ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ Fresh subsets of ultrapowers ⋮ Derived topologies on ordinals and stationary reflection ⋮ SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS ⋮ \(I_0\) and combinatorics at \(\lambda ^+\) ⋮ A new Löwenheim-Skolem theorem ⋮ Borel's conjecture in topological groups ⋮ Stationary sets added when forcing squares ⋮ ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS ⋮ Fodor-type reflection principle and reflection of metrizability and meta-Lindelöfness ⋮ A relative of the approachability ideal, diamond and non-saturation ⋮ Continuous tree-like scales ⋮ The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis ⋮ Diamond, square, and level by level equivalence ⋮ Canonical structure in the universe of set theory. II. ⋮ Generalizing random real forcing for inaccessible cardinals ⋮ Diagonal Prikry extensions ⋮ Dense non-reflection for stationary collections of countable sets ⋮ Weak square bracket relations for P_κ(λ) ⋮ Global Chang's conjecture and singular cardinals ⋮ Towers and clubs ⋮ A model of Cummings and Foreman revisited ⋮ Game ideals ⋮ Large cardinals and definable well-orders on the universe ⋮ The first omega alephs: from simplices to trees of trees to higher walks ⋮ The tree property at first and double successors of singular cardinals with an arbitrary gap ⋮ Martin’s maximum and weak square ⋮ ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC ⋮ Fake reflection ⋮ On the ideal \(J[\kappa\)] ⋮ Local saturation and square everywhere ⋮ Knaster and friends II: The C-sequence number ⋮ The semi-weak square principle ⋮ A cofinality-preserving small forcing may introduce a special Aronszajn tree ⋮ SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES ⋮ More notions of forcing add a Souslin tree ⋮ Indestructible strong compactness and level by level inequivalence ⋮ Ideals on \({P_{\kappa}(\lambda)}\) associated with games of uncountable length ⋮ Two-cardinal diamond and games of uncountable length ⋮ Square principles with tail-end agreement ⋮ Nonreflecting stationary sets in \(\mathcal P_{\kappa}\lambda\) ⋮ Indexed squares ⋮ Sigma-Prikry forcing I: The Axioms ⋮ Namba Forcing and No Good Scale ⋮ Guessing more sets ⋮ Tight stationarity and tree-like scales ⋮ Notes on singular cardinal combinatorics ⋮ Some problems in singular cardinals combinatorics ⋮ A question about Suslin trees and the weak square hierarchy ⋮ Some open problems in mutual stationary involving inner model: a commentary

Cites Work

• Shelah's pcf theory and its applications
• Some exact equiconsistency results in set theory
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Reflecting stationary sets and successors of singular cardinals
• Inequalities for cardinal powers
• On the singular cardinals problem. I
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• The tree property at successors of singular cardinals
• Combinatorial principles in the core model for one Woodin cardinal
• Large cardinals and definable counterexamples to the continuum hypothesis
• A global version of a theorem of Ben-David and Magidor
• Games played on Boolean algebras
• Morasses, diamond, and forcing
• The weak □* is really weaker than the full □
• Precipitous ideals
• A new class of order types
• Adding a closed unbounded set
• Higher Souslin trees and the generalized continuum hypothesis
• Countable approximations and Löwenheim-Skolem theorems
• A very weak square principle
• Collapsing successors of singulars
• The two-cardinals transfer property and resurrection of supercompactness 󠀼span style=󠀢color:red󠀢󠀾This article has been retracted󠀼/span󠀾
• Reflecting stationary sets
• Separating stationary reflection principles
• Powers of regular cardinals
• Aronszajn trees and the independence of the transfer property
• The fine structure of the constructible hierarchy
• Some combinatorial problems concerning uncountable cardinals

This page was built for publication: SQUARES, SCALES AND STATIONARY REFLECTION