Constructive Ackermann's interpretation. - Hanul Jeon (Ann. Pure Appl. Log., 2022)

Very Large Set Axioms over Constructive Set Theories. - Hanul Jeon; Richard Matthews (Bull. Symb. Log., 2024)