Abstract
The mantle is the intersection of all ground models of V. We show that if there exists an extendible cardinal then the mantle is the smallest ground model of V.
Similar content being viewed by others
References
Fuchs, G., Hamkins, J.D., Reitz, J.: Set-theoretic geology. Ann. Pure Appl. Logic 166(4), 464–501 (2015)
Hamkins, J.D.: Extensions with the approximation and cover properties have no new large cardinals. Fund. Math. 180(3), 257–277 (2003)
Jech, T.: Set Theory. The Third Millennium Edition, Revised and Expanded. Springer, Berlin (2003)
Laver, R.: Certain very large cardinals are not created in small forcing extensions. Ann. Pure Appl. Log. 149(1–3), 1–6 (2007)
Reitz, J.: The ground axiom. J. Symb. Log. 72(4), 1299–1317 (2007)
Sargsyan, G., Schindler, R.: Varsovian models I. J. Symb. Log. (To appear)
Usuba, T.: The downward directed grounds hypothesis and very large cardinals. J. Math. Log. 17, 1750009 (2017)
Woodin, W.H., Davis, J., Rodriguez, D.: The HOD dichotomy. arXiv:1605.00613 (unpublished)
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was supported by JSPS KAKENHI grant Nos. 18K03403 and 18K03404.
Rights and permissions
About this article
Cite this article
Usuba, T. Extendible cardinals and the mantle. Arch. Math. Logic 58, 71–75 (2019). https://doi.org/10.1007/s00153-018-0625-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-018-0625-4