Lawrence Pozsgay

• Semi-intuitionistic set theory