Hanul Jeon

Identifiers

• name variant Hanul Jeon 0.60 · backfill

Papers (3)

1. The Axiom of Double Complement and its opposites math.LO · 2026 · author #1
2. Ranking theories via encoded $\beta$-models math.LO · 2025 · author #1
3. Proof-theoretic dilator and intermediate pointclasses math.LO · 2025 · author #1

Mentions

• 2503.20470 #1 · arxiv_oai · confidence 0.70 Hanul Jeon
• 2606.00861 #1 · arxiv_oai · confidence 0.70 Hanul Jeon
• 2501.11220 #1 · arxiv_oai · confidence 0.70 Hanul Jeon

Frequent Coauthors

• Fedor Pakhomov 1 shared papers
• James E. Hanson 1 shared papers
• James Walsh 1 shared papers
• Patrick Lutz 1 shared papers