Hanul Jeon

collaborators

2 papers

math.LO2026

The Axiom of Double Complement and its opposites

Hanul Jeon, James E. Hanson

Powell introduced the Axiom of Double Complement ( $DCom$ ) to give his double-negation interpretation of $ZF$ into $IZ F_{Rep}$ . However, the consistency,…

math.LO2025

The proof-theoretic strength of Constructive Second-order set theories

Hanul Jeon

In this paper, we define constructive analogues of second-order set theories, which we will call $IGB$ , $CGB$ , $IKM$ , and $CKM$ . Each of them ca…