Generalizing theorems in real closed fields
scientific article; zbMATH DE number 802544
scientific article