Author:
Neeman Itay,Zapletal Jindřich
Abstract
AbstractWe present two ways in which the model L(ℝ) is canonical assuming the existence of large cardinals. We show that the theory of this model, with ordinal parameters, cannot be changed by small forcing: we show further that a set of ordinals in V cannot be added to L(ℝ) by small forcing. The large cardinal needed corresponds to the consistency strength of ADL(ℝ): roughly ω Woodin cardinals.
Publisher
Cambridge University Press (CUP)
Reference9 articles.
1. Inner models with many Woodin cardinals
2. Large cardinals and definable counterexamples to the continuum hypothesis
3. Proper forcing and absoluteness in L(ℝ);Neeman;Commentationes Mathematicae Universitatis Carolinae,1998
4. Hauser Kai , Mathias Adrian D. R. , and Woodin W. Hugh , The axiom of determinacy. (Forthcoming).
5. Iteration trees
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Incompatible bounded category forcing axioms;Journal of Mathematical Logic;2022-06-22
2. When a relation with all Borel sections will be Borel somewhere?;Proceedings of the American Mathematical Society;2021-11-17
3. Supercompactness Can Be Equiconsistent with Measurability;Notre Dame Journal of Formal Logic;2021-11-01
4. Bibliography;Large Cardinals, Determinacy and Other Topics;2020-11-05
5. The fourteen Victoria Delfino problems and their status in the year 2020;Large Cardinals, Determinacy and Other Topics;2020-11-05