Hostname: page-component-6766d58669-7cz98 Total loading time: 0 Render date: 2026-05-20T03:30:16.943Z Has data issue: false hasContentIssue false
  • English
  • Français

ON SEPARATING WHOLENESS AXIOMS

Part of: Set theory Proof theory and constructive mathematics

Published online by Cambridge University Press:  12 March 2025

HANUL JEON Open the ORCID record for HANUL JEON [Opens in a new window]
HANUL JEON*
Affiliation:
DEPARTMENT OF MATHEMATICS CORNELL UNIVERSITY ITHACA, NY 14853 USA URL: https://hanuljeon95.github.io
*
E-mail: hj344@cornell.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

In this paper, we show that $\mathsf {ZFC}+\mathsf {WA}_{n+1}$ implies the consistency of $\mathsf {ZFC}+\mathsf {WA}_n$ for $n\ge 0$. We also prove that $\mathsf {ZFC}+\mathsf {WA}_n$ is finitely axiomatizable, and $\mathsf {ZFC}+\mathsf {WA}$ is not finitely axiomatizable unless it is inconsistent.

Keywords

wholeness axiomelementary embeddinglarge cardinalWAfinite axiomazability

MSC classification

Primary: 03E55: Large cardinals
Secondary: 03F05: Cut-elimination and normal-form theorems

Information

Type
Article
Information
The Journal of Symbolic Logic , Volume 91 , Issue 1 , March 2026 , pp. 369 - 392
Check for updates
Copyright
© The Author(s), 2025. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

REFERENCES

Arai, T., Ordinal Analysis with an Introduction to Proof Theory , Logic in Asia: Studia Logica Library, Springer, 2020.CrossRefGoogle Scholar
Corazza, P., The wholeness axiom and Laver sequences . Annals of Pure and Applied Logic , vol. 105 (2000), nos. 1–3, pp. 157–260.CrossRefGoogle Scholar
Corazza, P., The spectrum of elementary embeddings $j:V\to V$ . Annals of Pure and Applied Logic , vol. 139 (2006), nos. 1–3, pp. 327–399.CrossRefGoogle Scholar
Friedman, S.-D., Li, W., and Wong, T. L., Fragments of Kripke-Platek set theory and the metamathematics of $\alpha$ -recursion theory . Archive for Mathematical Logic , vol. 55 (2016), nos. 7–8, pp. 899–924.CrossRefGoogle Scholar
Hamkins, J. D., The wholeness axioms and V= HOD . Archive for Mathematical Logic , vol. 40 (2001), no. 1, pp. 1–8.CrossRefGoogle Scholar
Jensen, R. B., The fine structure of the constructible hierarchy . Annals of Mathematical Logic , vol. 4 (1972). With a section by Jack Silver, pp. 229–308, erratum, ibid. 4 (1972), 443.CrossRefGoogle Scholar
Jeon, H. and Matthews, R., Very large set axioms over constructive set theories, Bull. Symb. Logic , vol. 30 (2024), no. 4, pp. 455–535.Google Scholar
Jeon, H. and Walsh, J., Generalized ordinal analysis and reflection principles in set theory, preprint, 2022, arXiv:2312.12859.Google Scholar
Matthews, R., Large cardinals in weakened axiomatic theories , Ph.D thesis, University of Leeds, 2021.Google Scholar
Parsons, C., On $n$ -quantifier induction . Journal of Symbolic Logic , vol. 37 (1972), pp. 466–482.CrossRefGoogle Scholar
Pohlers, W., Proof Theory: The First Step into Impredicativity , Universitext, Springer-Verlag, Berlin, 2009.Google Scholar
Simpson, S. G., Subsystems of Second Order Arithmetic, second edition, Perspectives in Logic, Cambridge Univ. Press, Cambridge, 2009 Assoc. Symbol. Logic, Poughkeepsie, NY, 2009.Google Scholar