Abstract
AbstractThis is an expository paper on a Theorem of the Complement, due to Wilkie, and its generalisations. Wilkie (Sel Math (NS) 5:397–421, 1999) gave necessary and sufficient conditions for an expansion of the real field by C-infinity functions to be o-minimal. Karpinski and Macintyre (Sel Math (NS) 5:507–516, 1999) weakened the original smoothness hypotheses of Wilkie’s theorem. Here we exhibit the proof of a generalised Wilkie’s result, where we further weaken the smoothness assumptions and show that the proof can be carried out not only over the real numbers but more generally in a non-Archimedean context, i.e. for definably complete Baire structures, which we introduced in 2008 and which form an axiomatizable class. Furthermore we give necessary and sufficient conditions for a definably complete Baire expansion of an o-minimal structure by C-infinity functions to be o-minimal. Mathematics Subject Classification (2010): Primary 58A17, Secondary 03C64, 32C05, 54E52.KeywordsPfaffian functionsDefinably complete structuresBaire spacesO-minimality
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
