Real closed fields with nonstandard and standard analytic structure

Details Real closed fields with nonstandard and standard analytic structure Real closed fields with nonstandard and standard analytic structure

2006-10-22

arxiv.org/abs/math/0610666v1

Mathematics

Logic

15 pages, no figures

Scientific paper

We consider the ordered field which is the completion of the Puiseux series field over \bR equipped with a ring of analytic functions on [-1,1]^n which contains the standard subanalytic functions as well as functions given by t-adically convergent power series, thus combining the analytic structures from [DD] and [LR3]. We prove quantifier elimination and o-minimality in the corresponding language. We extend these constructions and results to rank n ordered fields \bR_n (the maximal completions of iterated Puiseux series fields). We generalize the example of Hrushovski and Peterzil [HP] of a sentence which is not true in any o-minimal expansion of \bR (shown in [LR3] to be true in an o-minimal expansion of the Puiseux series field) to a tower of examples of sentences \sigma_n, true in \bR_n, but not true in any o-minimal expansion of any of the fields \bR,\bR_1,...,\bR_{n-1}.

Affiliated with

Also associated with

No associations

Rating

Real closed fields with nonstandard and standard analytic structure 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 Real closed fields with nonstandard and standard analytic structure, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Real closed fields with nonstandard and standard analytic structure will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-277219