first order theory of real closed fields
scientific article; zbMATH DE number 21309