A theory with two strongly constructivizable models
scientific article; zbMATH DE number 3700810