Hanul Jeon
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On separating wholeness axioms The Journal of Symbolic Logic | 2026-03-11 | Paper |
| The proof-theoretic strength of constructive second-order set theories Notre Dame Journal of Formal Logic | 2025-09-16 | Paper |
| On a cofinal Reinhardt embedding without powerset Fundamenta Mathematicae | 2025-09-12 | Paper |
| Very large set axioms over constructive set theories The Bulletin of Symbolic Logic | 2025-03-20 | Paper |
| 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 Annals of Pure and Applied Logic | 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 Discrete Applied Mathematics | 2014-05-06 | Paper |
Research outcomes over time
This page was built for person: Hanul Jeon
