Definably complete and Baire structures and Pfaffian closure

Details Definably complete and Baire structures and Pfaffian closure Definably complete and Baire structures and Pfaffian closure

2008-03-25

arxiv.org/abs/0803.3560v3

Mathematics

Logic

76 pages, version 4.1. Changed the last 3 sections from the previous version

Scientific paper

We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. However, unlike the o-minimal case, the structures considered form an elementary class. In this context we prove a version of Kuratowski-Ulam's Theorem and some restricted version of Sard's Lemma. We use the above results to prove the following version of Wilkie's Theorem of the Complement: given a definably complete Baire expansion K of an ordered field with a family of smooth functions, if there are uniform bounds on the number of definably connected components of quantifier free definable sets, then K is o-minimal. We further generalize the above result, along the line of Speissegger's theorem, and prove the o-minimality of the relative Pfaffian closure of an o-minimal structure inside a definably complete Baire structure.

Affiliated with

Also associated with

No associations

Rating

Definably complete and Baire structures and Pfaffian closure does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Definably complete and Baire structures and Pfaffian closure, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Definably complete and Baire structures and Pfaffian closure will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-349231