A totally transcendental decidable theory without constructivizable homogeneous models
existence problem for strongly constructivizable homogeneous models
scientific article; zbMATH DE number 3733893