The Field of LE-Series with a Nonstandard Analytic Structure
Ali Bleybel
Source: Notre Dame J. Formal Logic Volume 52, Number 3
(2011), 255-265.
Abstract
In this paper we prove that the field of Logarithmic-Exponential power series endowed with the exponential function and a class of analytic functions containing both the overconvergent functions in the t-adic norm and the usual strictly convergent power series is o-minimal.
First Page:
Show
Hide
Primary Subjects:
03C64
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.ndjfl/1311875773
Digital Object Identifier: doi:10.1215/00294527-1435447
Mathematical Reviews number (MathSciNet): MR2822488
Zentralblatt MATH identifier: 05970093
References
[1] Cluckers, R., L. Lipshitz, and Z. Robinson, "Real closed fields with non-standard and standard analytic structure", Journal of the London Mathematical Society. Second Series, vol. 78 (2008), pp. 198–212.
Mathematical Reviews (MathSciNet): MR2427060
Zentralblatt MATH: 1184.03032
Digital Object Identifier: doi:10.1112/jlms/jdn024
[2] van den Dries, L., A. Macintyre, and D. Marker, "The elementary theory of restricted analytic fields with exponentiation", Annals of Mathematics. Second Series, vol. 140 (1994), pp. 183–205.
Mathematical Reviews (MathSciNet): MR1289495
Zentralblatt MATH: 0837.12006
Digital Object Identifier: doi:10.2307/2118545
[3] van den Dries, L., A. Macintyre, and D. Marker, "Logarithmic-exponential power series", Journal of the London Mathematical Society. Second Series, vol. 56 (1997), pp. 417–34.
Mathematical Reviews (MathSciNet): MR1610431
Zentralblatt MATH: 0924.12007
Digital Object Identifier: doi:10.1112/S0024610797005437
[4] van den Dries, L., A. Macintyre, and D. Marker, "Logarithmic-exponential series", Annals of Pure and Applied Logic, vol. 111 (2001), pp. 61–113. Proceedings of the International Conference “Analyse & Logique” (Mons, 1997).
Mathematical Reviews (MathSciNet): MR1848569
Zentralblatt MATH: 0998.12014
Digital Object Identifier: doi:10.1016/S0168-0072(01)00035-5
[5] van den Dries, L., and C. Miller, "On the real exponential field with restricted analytic functions", Israel Journal of Mathematics, vol. 85 (1994), pp. 19–56. Errata, vol. 92 (1995), p. 427.
Mathematical Reviews (MathSciNet): MR1264338
Zentralblatt MATH: 0823.03017
Digital Object Identifier: doi:10.1007/BF02758635
[6] Fornasiero, A., and T. Servi, "Definably complete Baire structures", Fundamenta Mathematicae, vol. 209 (2010), pp. 215–41.
Mathematical Reviews (MathSciNet): MR2720211
Zentralblatt MATH: pre05834934
Digital Object Identifier: doi:10.4064/fm209-3-2
[7] Fratarcangeli, S., "A first-order version of Pfaffian closure", Fundamenta Mathematicae, vol. 198 (2008), pp. 229–54.
Mathematical Reviews (MathSciNet): MR2391013
Zentralblatt MATH: 1147.03021
Digital Object Identifier: doi:10.4064/fm198-3-3
[8] Miller, C., "Expansions of dense linear orders with the intermediate value property", The Journal of Symbolic Logic, vol. 66 (2001), pp. 1783–90.
Mathematical Reviews (MathSciNet): MR1877021
Zentralblatt MATH: 1001.03039
Digital Object Identifier: doi:10.2307/2694974
[9] Neumann, B. H., "On ordered division rings", Transactions of the American Mathematical Society, vol. 66 (1949), pp. 202–52.
Mathematical Reviews (MathSciNet): MR0032593
Zentralblatt MATH: 0035.30401
Digital Object Identifier: doi:10.1090/S0002-9947-1949-0032593-5
[10] Sacks, G. E., Saturated Model Theory, Mathematics Lecture Note Series. W. A. Benjamin, Inc., Reading, 1972.
Mathematical Reviews (MathSciNet): MR0398817
Zentralblatt MATH: 0242.02054
Notre Dame Journal of Formal Logic
