Affiliation:
1. Department of Mathematics, University of California, Berkeley, CA 94720, USA
Abstract
We investigate large cardinal axioms beyond the level of ω-huge in context of the universality of the suitable extender models of [Suitable Extender Models I, J. Math. Log.10 (2010) 101–339]. We show that there is an analog of ADℝ at the level of ω-huge, more precisely the construction of the minimum model of ADℝ generalizes to the level of Vλ+1. This allows us to formulate the indicated generalization of ADℝ and then to prove that if the axiom holds in V at a proper class of λ then in every suitable extender model, the axiom holds at a proper class of λ (provided the relevant ω-huge embeddings can be chosen to preserve the suitable extender model).
Publisher
World Scientific Pub Co Pte Lt
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Measurable cardinals and choiceless axioms;Annals of Pure and Applied Logic;2024-01
2. Large cardinals at the brink;Annals of Pure and Applied Logic;2024-01
3. A Solovay-like model for singular generalized descriptive set theory;Topology and its Applications;2023-01
4. Mathematical Practices Can Be Metaphysically Laden;Handbook of the History and Philosophy of Mathematical Practice;2020
5. LD-Algebras Beyond I0;Notre Dame Journal of Formal Logic;2019-08-01