Hanul Jeon

collaborators

2 papers

math.LO2025

Very large set axioms over constructive set theories

Hanul Jeon, Richard Matthews

We investigate large set axioms defined in terms of elementary embeddings over constructive set theories, focusing on $IKP$ and $CZF$ . Most previously studied lar…

math.LO2025

On Separating Wholeness Axioms

Hanul Jeon

In this paper, we prove that $ZFC + WA_{n + 1}$ implies the consistency of $ZFC + WA_{n}$ for $n \geq 0$ . We also prove that $ZFC + WA_{n}$ is finitely axiomatizable,…