Papers

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

Publications

1. Constructive Ackermann’s interpretation, Annals of Pure and Applied Logic (2022) Vol. 173 (5), 103086, 19 pages. arXiv:2010.04270. (Slide)
2. 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. On a cofinal Reinhardt embedding without Powerset, arXiv preprint arXiv:2406.10698. (Slide)
2. The behavior of higher proof theory I: Case $\Sigma^1_2$, arXiv preprint arXiv:2406.03801
3. Generalized ordinal analysis and reflection principles in set theory (with James Walsh), arXiv preprint arXiv:2312.12859
4. The proof-theoretic strength of Constructive Second-order set theories, arXiv preprint arXiv:2312.12854
5. On Separating Wholeness axioms, arXiv preprint arXiv:2308.03649. (Slide)
6. Very large set axioms over constructive set theories (with Richard Matthews), arXiv preprint arXiv:2204.05831. (Slide)

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)
2. Proof theory for higher pointclasses. Logic and Computation Seminar at UPenn. April 2024 (Slide)