Hanul Jeon

activity

20212023

most citedVery large set axioms over constructive set theories

3 citations · 4 across the 3 of their papers we have counts for

collaborators

3 papers

math.LO2023

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,…

math.LO2022★ 3 cited

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.LO2021★ 1 cited

How strong is a Reinhardt set over extensions of CZF?

Hanul Jeon

We investigate the lower bound of the consistency strength of $CZF$ with Full Separation $Sep$ and a Reinhardt set, a constructive analogue of Reinhardt cardinals…