Coding into 𝐾 by reasonable forcing
From MaRDI portal
Publication:4517449
DOI10.1090/S0002-9947-00-02636-2zbMath0960.03043arXivmath/9706208MaRDI QIDQ4517449
Publication date: 22 November 2000
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9706208
03E15: Descriptive set theory
03E35: Consistency and independence results
03E55: Large cardinals
03E60: Determinacy principles
Related Items
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses, The stationarity of the collection of the locally regulars, Projective well-orderings of the reals, On a class of maximality principles, Proper forcing and remarkable cardinals II
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some descriptive set theory and core models
- \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
- Large cardinals and definable counterexamples to the continuum hypothesis
- Proper forcing and L(ℝ)
- Proper Forcing and Remarkable Cardinals
- Core models with more Woodin cardinals