Σ1(κ)-DEFINABLE SUBSETS OF H(κ+)

DOI10.1017/jsl.2017.36zbMath1422.03110arXiv1710.09766OpenAlexW2751908908MaRDI QIDQ5359578

Philipp Lücke, Philipp Schlicht, Ralf-Dieter Schindler

Publication date: 26 September 2017

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

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

zbMATH Keywords

large cardinalswell-ordersiterated ultrapowersclub filternonstationary idealBernstein sets\(\Sigma_1\)-definabilityiterated generic ultrapowerslightface formulas

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other notions of set-theoretic definability (03E47)

Related Items

Partition properties for simply definable colourings, -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders, Measurable cardinals and good ‐wellorderings, STABLY MEASURABLE CARDINALS, Closed maximality principles and generalized Baire spaces, NS SATURATED AND -DEFINABLE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Hurewicz dichotomy for generalized Baire spaces
• Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties
• The bounded proper forcing axiom and well orderings of the reals
• Precipitous ideals and \(\sum^1_4\) sets
• Complexity of reals in inner models of set theory
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Inner models with many Woodin cardinals
• Thin equivalence relations and inner models
• KWithout the Measurable
• Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁
• -definability at uncountable regular cardinals
• Simplest possible locally definable well-orders
• Ramsey-like cardinals
• Ramsey-like cardinals II
• An Outline of Inner Model Theory
• A Core Model Toolbox and Guide
• Forcing over Models of Determinacy
• Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
• A Brief History of Determinacy
• Precipitous ideals
• Trees and -subsets of ^ω1ω₁
• PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES
• Set Theory
• The bounded proper forcing axiom
• Optimal Proofs of Determinacy
• Locally Σ₁-definable well-orders of H(κ⁺)
• Δ₁-Definability of the non-stationary ideal at successor cardinals