NS SATURATED AND -DEFINABLE

DOI10.1017/JSL.2021.23MaRDI QIDQ5000262zbMATH OpenOpenAlexFDO

Authors Stefan Hoffelner

Publication date 12 July 2021

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

definabilitylarge cardinalsinner modelscodingnonstationary ideal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Generic absoluteness and forcing axioms (03E57)

Recommendations

• A \(\Sigma_4^1\) wellorder of the reals with \(\mathrm{NS}_{\omega_1}\) saturated
• Woodin cardinals and presaturated ideals
• The size of \(\widetilde T\)
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• Less saturated ideals

Cites work

• scientific article; zbMATH DE number 3885892 (Why is no real title available?)
• scientific article; zbMATH DE number 3351572 (Why is no real title available?)
• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• An outline of inner model theory
• BPFA and projective well-orderings of the reals
• Cardinal characteristics and projective wellorders
• Generalized descriptive set theory and classification theory
• Long projective wellorderings
• On iterating semiproper preorders
• Projectively well-ordered inner models
• Proper and improper forcing.
• SET MAPPING REFLECTION
• Saturation, Suslin trees and meager sets
• Set Theory
• The Canary Tree
• The bounded proper forcing axiom and well orderings of the reals
• The canary tree revisited
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• Δ₁-Definability of the non-stationary ideal at successor cardinals
• ωι-Sonslin trees under countable support iterations

Cited in

(4)

• Forcing axioms and the uniformization-property
• Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization
• Forcing the Σ31-separation property
• NS saturated and $\Delta_1$-definable

This page was built for publication: NS SATURATED AND -DEFINABLE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5000262)