Undecidability of regularly closed fields
elementary theory of the class of all regularly closed fields
scientific article; zbMATH DE number 3786748