Simplest possible locally definable well-orders
From MaRDI portal
Publication:2957265
DOI10.4064/fm281-7-2016zbMath1420.03135MaRDI QIDQ2957265
Publication date: 25 January 2017
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4064/fm281-7-2016
03E35: Consistency and independence results
03E55: Large cardinals
03E50: Continuum hypothesis and Martin's axiom
03E47: Other notions of set-theoretic definability
Related Items
Σ1(κ)-DEFINABLE SUBSETS OF H(κ+), Closed maximality principles and generalized Baire spaces, \(\Sigma_1\)-wellorders without collapsing
Cites Work
- Unnamed Item
- Some applications of short core models
- Forcing lightface definable well-orders without the GCH
- \(\Sigma_1\)-wellorders without collapsing
- On strong measure zero subsets ofκ2
- -definability at uncountable regular cardinals
- Determinacy in L(ℝ)
- Forcing over Models of Determinacy
- Condensation and large cardinals
- A quasi-lower bound on the consistency strength of PFA
- Forcing closed unbounded sets
- The core model
- On Closed Sets of Ordinals
- The non-existence of $Σ^1_2$ well-orderings of the Cantor set
- Long projective wellorderings