Hanul Jeon

Orcid: 0000-0001-5253-9954

According to our database¹, Hanul Jeon authored at least 3 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

On Separating Wholeness Axioms.

[DOI]

J. Symb. Log., 2026

2024

Very Large Set Axioms over Constructive Set Theories.

[DOI]

Bull. Symb. Log., 2024

2022

Constructive Ackermann's interpretation.

[DOI]

Ann. Pure Appl. Log., 2022