Papers

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

Publications

On a cofinal Reinhardt embedding without Powerset, Fundamenta Mathematicae (2025) Vol. 270 (2), 177-200 arXiv preprint arXiv:2406.10698. (Slide)
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
On Separating Wholeness axioms, To appear in: Journal of Symbolic Logic. arXiv preprint arXiv:2308.03649. (Slide)
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)
Constructive Ackermann’s interpretation, Annals of Pure and Applied Logic (2022) Vol. 173 (5), 103086, 19 pages. arXiv:2010.04270. (Slide)
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.

Ranking theories via encoded $\beta$-models (with Patrick Lutz, Fedor Pakhomov, and James Walsh), arXiv preprint arXiv:2503.12713.
Martin’s Measurable Dilator, arXiv preprint arXiv:2503.12713.
Proof-theoretic dilator and intermediate pointclasses, arXiv preprint arXiv:2501.11220. (Slide)
The behavior of higher proof theory I: Case $\Sigma^1_2$, arXiv preprint arXiv:2406.03801
Generalized ordinal analysis and reflection principles in set theory (with James Walsh), arXiv preprint arXiv:2312.12859

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