skip to content

Overconvergent real closed quantifier elimination

Presented by: 
L Lipshitz [Purdue]
Thursday 14th July 2005 - 16:00 to 17:00
INI Seminar Room 1

Let K be the (real closed) field of Puiseux series in t over the reals, R, endowed with the natural linear order. Then the elements of the formal power series rings R[[x_1,...,x_n]] converge t-adically on [-t,t]^n, and hence define functions [-t,t]^n to K. Let L be the language of ordered fields, enriched with symbols for these functions. We show that K is o-minimal in L. This result is obtained from a quantifier elimination theorem. The proofs use methods from non-Archimedean analysis.

Related Links

University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons