Undefinability results in o-minimal expansions of the real numbers
scientific article; zbMATH DE number 2173064