Please contact me if you need my publications that are not published or linked.
- 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).
- How strong is a Reinhardt set over extensions of CZF?. arXiv preprint arXiv:2101.07455.
- Constructive Ackermann’s interpretation. arXiv preprint arXiv:2010.04270.
- The axiom of double complement and its opposites, In preparation. (First draft.)
- Goodstein’s theorem (Korean) Manuscript for Madmathematics seminar. (Oct 2016).
- What is forcing? (Korean) Manuscript for Madmathematics seminar. (Nov 2015).
- A Short introduction to mathematical logic (Korean) Manuscript for Madmathematics seminar. (Jan 2014).