Hanul Jeon


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


  1. 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).


  1. How strong is a Reinhardt set over extensions of CZF?. arXiv preprint arXiv:2101.07455.
  2. Constructive Ackermann’s interpretation. arXiv preprint arXiv:2010.04270.


  1. The axiom of double complement and its opposites, In preparation. (First draft.)
  2. Goodstein’s theorem (Korean) Manuscript for Madmathematics seminar. (Oct 2016).
  3. What is forcing? (Korean) Manuscript for Madmathematics seminar. (Nov 2015).
  4. A Short introduction to mathematical logic (Korean) Manuscript for Madmathematics seminar. (Jan 2014).