Definably complete structures are not pseudo-enumerable
scientific article; zbMATH DE number 5939553
scientific article