Semialgebraic sets and some versions of the Tarski-Seidenberg-Macintyre theorem
scientific article; zbMATH DE number 907274