Article contents
Uniform model-completeness for the real field expanded by power functions
Published online by Cambridge University Press: 12 March 2014
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
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2010
References
REFERENCES
- 1
- Cited by