Uniform model-completeness for the real field expanded by power functions
Tom Foster
Source: J. Symbolic Logic Volume 75, Issue 4
(2010), 1441-1461.
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〉.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1286198156
Digital Object Identifier: doi:10.2178/jsl/1286198156
Zentralblatt MATH identifier: 05835175
Mathematical Reviews number (MathSciNet): MR2767978
References
G. O. Jones and A. J. Wilkie, Locally polynomially bounded structures, Bulletin of the London Mathematical Society, vol. 40 (2008), no. 2, pp. 239--248.
Mathematical Reviews (MathSciNet): MR2414783
Zentralblatt MATH: 1146.03023
Digital Object Identifier: doi:10.1112/blms/bdn004
Chris Miller, Expansions of the real field with power functions, Annals of Pure and Applied Logic, vol. 68 (1994), no. 1, pp. 79--94.
Mathematical Reviews (MathSciNet): MR1278550
Zentralblatt MATH: 0823.03018
Digital Object Identifier: doi:10.1016/0168-0072(94)90048-5
--------, Exponentiation is hard to avoid, Proceedings of the American Mathematical Society, vol. 122 (1994), no. 1, pp. 257--259.
--------, A growth dichotomy for o-minimal expansions of ordered fields, Logic: from foundations to applications (Staffordshire, $1993)$, Oxford Scientific Publications, Oxford University Press, New York, 1996, pp. 385--399.
Mathematical Reviews (MathSciNet): MR1428013
Zentralblatt MATH: 0887.03031
G. E. Sacks, Saturated model theory, W. A. Benjamin, Inc., 1972.
Mathematical Reviews (MathSciNet): MR398817
Lou van den Dries, A generalization of the Tarski--Seidenberg theorem, and some nondefinability results, American Mathematical Society. Bulletin. New Series, vol. 15 (1986), no. 2, pp. 189--193.
Mathematical Reviews (MathSciNet): MR854552
Digital Object Identifier: doi:10.1090/S0273-0979-1986-15468-6
Project Euclid: euclid.bams/1183553469
--------, $T$-convexity and tame extensions. II, Journal of Symbolic Logic, vol. 62 (1997), no. 1, pp. 14--34.
Mathematical Reviews (MathSciNet): MR1450511
Digital Object Identifier: doi:10.2307/2275729
JSTOR: links.jstor.org
--------, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998.
Mathematical Reviews (MathSciNet): MR1633348
Zentralblatt MATH: 0953.03045
Lou van den Dries and Adam H. Lewenberg, $T$-convexity and tame extensions, Journal of Symbolic Logic, vol. 60 (1995), no. 1, pp. 74--102.
Mathematical Reviews (MathSciNet): MR1324502
Digital Object Identifier: doi:10.2307/2275510
JSTOR: links.jstor.org
A. J. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Journal of the American Mathematical Society, vol. 9 (1996), no. 4, pp. 1051--1094.
Mathematical Reviews (MathSciNet): MR1398816
Zentralblatt MATH: 0892.03013
Digital Object Identifier: doi:10.1090/S0894-0347-96-00216-0
JSTOR: links.jstor.org
