Elimination of infinitesimal quantifiers
extension of the ordered field of the reals
scientific article; zbMATH DE number 1308384