Hanul Jeon

Papers

Please contact me if you need my publications that are not published or linked.

Publications

  1. Generalized ordinal analysis and reflection principles in set theory (with James Walsh), to appear in: Jounral of Symbolic Logic. arXiv:2312.12859
  2. On a cofinal Reinhardt embedding without Powerset, Fundamenta Mathematicae (2025) Vol. 270 (2), 177-200. arXiv preprint arXiv:2406.10698. (Slide)
  3. The proof-theoretic strength of Constructive Second-order set theories, Notre Dame Journal of Formal Logic. (2025) Vol. 66 (3) pp. 413-431 arXiv preprint arXiv:2312.12854
  4. On Separating Wholeness axioms, Journal of Symbolic Logic (2026) Vol. 91 (1), 369-392. arXiv preprint arXiv:2308.03649. (Slide)
  5. Very large set axioms over constructive set theories (with Richard Matthews), Bulletin of Symbolic Logic (2024) Vol. 30 (4) pp. 455-535. arXiv:2204.05831. (Slide)
  6. Constructive Ackermann’s interpretation, Annals of Pure and Applied Logic (2022) Vol. 173 (5), 103086, 19 pages. arXiv:2010.04270. (Slide)
  7. Comparison between the Wiener index and the Zagreb indices and the eccentric connectivity index for trees. (with Kinkar Chandra Das and Nenad Trinajstić), Discrete Applied Mathematics (2014) 171: 35-41.

Preprints

  1. The Axiom of Double Complement and its opposites (with James E. Hanson), arXiv preprint arXiv:2606.00861.
  2. Ranking theories via encoded $\beta$-models (with Patrick Lutz, Fedor Pakhomov, and James Walsh), arXiv preprint arXiv:2503.12713.
  3. Martin’s Measurable Dilator, arXiv preprint arXiv:2503.12713.
  4. Proof-theoretic dilator and intermediate pointclasses, arXiv preprint arXiv:2501.11220. (Slide)
  5. The behavior of higher proof theory I: Case $\Sigma^1_2$, arXiv preprint arXiv:2406.03801

Thesis

  1. Proof theory for higher pointclasses. Doctoral dissertation. 2026. (Slide) (Errata)

Notes

  1. Fixed point recursive ordinal functions. Unpublished.
  2. How strong is a Reinhardt set over extensions of CZF?. arXiv preprint arXiv:2101.07455. (Merged into arXiv:2204.05831.)
  3. Goodstein’s theorem (Korean) Manuscript for Madmathematics seminar. (Oct 2016, Revised: Apr 2021).
  4. What is forcing? (Korean) Manuscript for Madmathematics seminar. (Nov 2015).
  5. A Short introduction to mathematical logic (Korean) Manuscript for Madmathematics seminar. (Jan 2014).

Slides

  1. Consequences of the axiom of choice. Olivetti seminar. March 2022. (Slide)