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)

The tree property at ℵ_ω+1 ⋮ Compactness and guessing principles in the Radin extensions ⋮ Club stationary reflection and the special Aronszajn tree property ⋮ A framework for forcing constructions at successors of singular cardinals ⋮ A note on highly connected and well-connected Ramsey theory ⋮ MENAS’S CONJECTURE REVISITED ⋮ What makes the continuum ℵ₂ ⋮ Piece selection and cardinal arithmetic ⋮ Singular cardinals and square properties ⋮ Scales with various kinds of good points ⋮ New combinatorial principle on singular cardinals and normal ideals ⋮ Sigma-Prikry forcing. III: Down to \(\aleph_{\omega}\) ⋮ SQUARES AND NARROW SYSTEMS ⋮ On weak square, approachability, the tree property, and failures of SCH in a choiceless context ⋮ Rado’s Conjecture and its Baire version ⋮ CHARACTERIZATION OF □_κ IN CORE MODELS ⋮ THE CLUB GUESSING IDEAL: COMMENTARY ON A THEOREM OF GITIK AND SHELAH ⋮ The number of openly generated Boolean algebras ⋮ The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ Squares and uncountably singularized cardinals ⋮ Canonical fragments of the strong reflection principle ⋮ On SCH and the approachability property ⋮ DESTRUCTIBILITY OF THE TREE PROPERTY AT ${\aleph _{\omega + 1}}$ ⋮ ON RESURRECTION AXIOMS ⋮ A model for a very good scale and a bad scale ⋮ STATIONARY REFLECTION ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING ⋮ 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

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