A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
scientific article; zbMATH DE number 6374922
scientific article