Hanul Jeon

Available identifiers

zbMath Open jeon.hanulMaRDI QIDQ2120968

List of research outcomes

Publication	Date of Publication	Type
The proof-theoretic strength of Constructive Second-order set theories	2023-12-20	Paper
Generalized ordinal analysis and reflection principles in set theory	2023-12-20	Paper
On Separating Wholeness Axioms	2023-08-07	Paper
Very large set axioms over constructive set theories	2022-04-12	Paper
Constructive Ackermann's interpretation	2022-04-01	Paper
How strong is a Reinhardt set over extensions of CZF?	2021-01-18	Paper
Comparison between the Wiener index and the Zagreb indices and the eccentric connectivity index for trees	2014-05-06	Paper

Research outcomes over time

This page was built for person: Hanul Jeon