NS SATURATED AND -DEFINABLE

DOI10.1017/jsl.2021.23OpenAlexW3131063695MaRDI QIDQ5000262

Stefan Hoffelner

Publication date: 12 July 2021

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

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

zbMATH Keywords

large cardinalsdefinabilitycodinginner modelsnonstationary ideal

Mathematics Subject Classification ID

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

Related Items (2)

Forcing the Σ31-separation property ⋮ Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cardinal characteristics and projective wellorders
• The bounded proper forcing axiom and well orderings of the reals
• Projectively well-ordered inner models
• Saturation, Suslin trees and meager sets
• Generalized Descriptive Set Theory and Classification Theory
• An Outline of Inner Model Theory
• BPFA and projective well-orderings of the reals
• Long projective wellorderings
• The Canary Tree
• ωι-Sonslin trees under countable support iterations
• The canary tree revisited
• On iterating semiproper preorders
• Set Theory
• Δ₁-Definability of the non-stationary ideal at successor cardinals
• Proper and Improper Forcing
• Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺)
• SET MAPPING REFLECTION

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