Available in electronic format
Available in print format
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826 (e) ISSN 0002-9939 (p)
     

Zero sets of smooth functions in the Pfaffian closure of an o-minimal structure

Author(s): G. O. Jones
Journal: Proc. Amer. Math. Soc. 136 (2008), 4019-4025.
MSC (2000): Primary 03C64; Secondary 58A35
Posted: June 4, 2008
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: I show that in an o-minimal structure on the real field, satisfying certain conditions, every closed definable set is the zero set of a smooth definable function. The conditions are shown to hold in the Pfaffian closure of a polynomially bounded o-minimal structure having smooth cell decomposition.


References:

1.
J. Bochnak, M. Coste, and M.-F. Roy, Real algebraic geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 36, Springer-Verlag, Berlin, 1998. Translated from the 1987 French original, revised by the authors. MR 1659509 (2000a:14067)

2.
L. van den Dries, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998. MR 1633348 (99j:03001)

3.
L. van den Dries and C. Miller, Geometric categories and o-minimal structures, Duke Math. J. 84 (1996), no. 2, 497-540. MR 1404337 (97i:32008)

4.
G. O. Jones and A. J. Wilkie, Locally polynomially bounded structures, Bull. London Math. Soc. 40 (2008), 239-248.

5.
J.-M. Lion, C. Miller, and P. Speissegger, Differential equations over polynomially bounded o-minimal structures, Proc. Amer. Math. Soc. 131 (2003), no. 1, 175-183 (electronic). MR 1929037 (2003g:03064)

6.
J.-M. Lion and P. Speissegger, Analytic stratification in the Pfaffian closure of an o-minimal structure, Duke Math. J. 103 (2000), no. 2, 215-231. MR 1760626 (2001j:03076)

7.
C. Miller, Exponentiation is hard to avoid, Proc. Amer. Math. Soc. 122 (1994), no. 1, 257-259. MR 1195484 (94k:03042)

8.
-, Infinite differentiability in polynomially bounded o-minimal structures, Proc. Amer. Math. Soc. 123 (1995), no. 8, 2551-2555. MR 1257118 (95j:03069)

9.
P. Speissegger, O-minimal expansions of the real field, Model theory and applications, Quad. Mat., vol. 11, Aracne, Rome, 2002, pp. 379-408. MR 2159726 (2006m:03066)

10.
-, The Pfaffian closure of an o-minimal structure, J. Reine Angew. Math. 508 (1999), 189-211. MR 1676876 (2000j:14093)


Similar Articles:

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 03C64, 58A35

Retrieve articles in all Journals with MSC (2000): 03C64, 58A35


Additional Information:

G. O. Jones
Affiliation: Department of Mathematics and Statistics, McMaster University, 1280 Main Street, West Hamilton, Ontario L8S 4K1, Canada
Address at time of publication: School of Mathematics, University of Manchester, Oxford Road, Manchester, M13 9PL, United Kingdom
Email: gojones@math.mcmaster.ca

DOI: 10.1090/S0002-9939-08-09373-8
PII: S 0002-9939(08)09373-8
Received by editor(s): July 23, 2007,
Received by editor(s) in revised form: October 5, 2007
Posted: June 4, 2008
Additional Notes: The author is supported by NSERC
Communicated by: Julia Knight
Copyright of article: Copyright 2008, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2009, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google