A general model completeness result for expansions of the real ordered field
o-minimal expansion of the real ordered field
scientific article; zbMATH DE number 1308094