Hanul Jeon

collaborators

5 papers

math.LO2026

Ranking theories via encoded $I^^{2}$ -models

Hanul Jeon, Patrick Lutz, Fedor Pakhomov +1

Ranking theories according to their strength is a recurring motif in mathematical logic. We introduce a new ranking of arbitrary (not necessarily recursively axiomatized) theories…

math.LO2026

Proof-theoretic dilator and intermediate pointclasses

Hanul Jeon

There are two major generalizations of the standard ordinal analysis: One is Girard's $I^_{2}^{1}$ -proof theory in which dilators are assigned to theories instead of ordinals. The othe…

math.LO2026

The behavior of higher proof theory I: Case $I^£_{2}^{1}$

Hanul Jeon

Walsh [MR4525964, Zbl 1569.03151] has shown that comparing proof-theoretic ordinals is equivalent to comparing $I^_{1}^{1}$ -consequence comparison and $I^_{1}^{1}$ -reflection comparison, a…

math.LO2025

On a cofinal Reinhardt embedding without Powerset

Hanul Jeon

In this paper, we provide a positive answer to the question of Matthews whether $ZF^{-}$ is consistent with a non-trivial cofinal Reinhardt elementary embedding $j\colon V\t…

math.LO2025

Martin's measurable dilator

Hanul Jeon

Martin's remarkable proof of $I^_{2}^{1}$ -determinacy from an iterable rank-into-rank embedding highlighted the connection between large cardinals and determinacy. In this paper…

Ranking theories via encoded I^2-models

Proof-theoretic dilator and intermediate pointclasses

The behavior of higher proof theory I: Case I^£21​

On a cofinal Reinhardt embedding without Powerset

Martin's measurable dilator

Ranking theories via encoded $I^^{2}$ -models

The behavior of higher proof theory I: Case $I^£_{2}^{1}$