Learn More
We consider the ordered field which is the completion of the Puiseux series field over R 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(More)
  • 1