Uniform model-completeness for the real field expanded by power functions

DOI10.2178/JSL/1286198156zbMath1226.03045OpenAlexW2159016585MaRDI QIDQ3066804

Tom Foster

Publication date: 12 January 2011

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1286198156

zbMATH Keywords

quantifier eliminationo-minimalityordered structures

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

The set of restricted complex exponents for expansions of the reals

Cites Work

• Expansions of the real field with power functions
• Locally polynomially bounded structures
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• T-convexity and tame extensions II
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function

This page was built for publication: Uniform model-completeness for the real field expanded by power functions