Abstract
We prove that given any first order formula φ in the language L'={+,·, <, (fi)i ∈ I,(ci)i ∈ I}, where the fi are unary function symbols and the ci are constants, one can find an existential formula ψ such that φ and ψ are equivalent in any L'-structure 〈ℝ,+,·, <,(xci)i ∈ I,(ci)i ∈ I〉.
Citation
Tom Foster. "Uniform model-completeness for the real field expanded by power functions." J. Symbolic Logic 75 (4) 1441 - 1461, December 2010. https://doi.org/10.2178/jsl/1286198156
Information