NS SATURATED AND -DEFINABLE

DOI10.1017/JSL.2021.23OpenAlexW3131063695MaRDI QIDQ5000262FDOQ5000262

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)

Cites Work

• Set Theory
• Title not available (Why is that?)
• An outline of inner model theory
• Title not available (Why is that?)
• SET MAPPING REFLECTION
• The bounded proper forcing axiom and well orderings of the reals
• Long projective wellorderings
• Title not available (Why is that?)
• Cardinal characteristics and projective wellorders
• ωι-Sonslin trees under countable support iterations
• Generalized descriptive set theory and classification theory
• Proper and Improper Forcing
• Projectively well-ordered inner models
• BPFA and projective well-orderings of the reals
• On iterating semiproper preorders
• The Canary Tree
• The canary tree revisited
• Δ₁-Definability of the non-stationary ideal at successor cardinals
• Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺)
• Saturation, Suslin trees and meager sets

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)