Forcing axioms and the complexity of non-stationary ideals

DOI10.1007/s00605-022-01734-wOpenAlexW3091665850WikidataQ114692024 ScholiaQ114692024MaRDI QIDQ2165633

Philipp Lücke, Sean D. Cox

Publication date: 22 August 2022

Published in: Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2010.01922

zbMATH Keywords

stationary reflectionMartin's maximum\(\Delta_1\)-definabilitynon-stationary idealssubcomplete forcing axiom

Mathematics Subject Classification ID

Consistency and independence results (03E35) Generic absoluteness and forcing axioms (03E57) Other notions of set-theoretic definability (03E47)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on singular cardinal combinatorics
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Closed maximality principles and generalized Baire spaces
• Layered posets and Kunen's universal collapse
• -definability at uncountable regular cardinals
• Generalized Descriptive Set Theory and Classification Theory
• Condensation and large cardinals
• SUBCOMPLETE FORCING AND ℒ-FORCING
• Trees and -subsets of ^ω1ω₁
• The Canary Tree
• The canary tree revisited
• HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES
• Fragments of Martin's Maximum in generic extensions
• Reflecting stationary sets
• Set Theory
• Separating stationary reflection principles
• FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
• Canonical fragments of the strong reflection principle
• Δ₁-Definability of the non-stationary ideal at successor cardinals
• Some combinatorial problems concerning uncountable cardinals