Δ1-Definability of the non-stationary ideal at successor cardinals

DOI10.4064/fm229-3-2zbMath1352.03053OpenAlexW2315250708MaRDI QIDQ5177549

Lyubomyr Zdomskyy, Liuzhen Wu, Sy-David Friedman

Publication date: 12 March 2015

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/fm229-3-2

zbMATH Keywords

localizationdefinabilitycodinggeneralized descriptive set theorymixed support iterationstationarity preservation

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (8)

Forcing axioms and the complexity of non-stationary ideals ⋮ Forcing the Σ31-separation property ⋮ Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺) ⋮ On $\Sigma _1^1$-completeness of quasi-orders on $\kappa ^\kappa $ ⋮ On the complexity of classes of uncountable structures: trees on $\aleph _1$ ⋮ Regularity properties on the generalized reals ⋮ Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions ⋮ NS SATURATED AND -DEFINABLE

Cites Work

• Cardinal characteristics, projective wellorders and large continuum
• Projective wellorders and mad families with large continuum
• \(\Delta^ 1_ 2\)-sets of reals
• On strong measure zero subsets of^κ2
• Generalized Descriptive Set Theory and Classification Theory
• Proper Forcing
• Ideals and Generic Elementary Embeddings
• Forcing closed unbounded sets
• The Canary Tree
• The canary tree revisited

This page was built for publication: Δ₁-Definability of the non-stationary ideal at successor cardinals