The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content



Overconvergent real closed quantifier elimination

Lipshitz, L (Purdue)
Thursday 14 July 2005, 16:00-17:00

Seminar Room 1, Newton Institute


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


[pdf ]


MP3MP3 Real AudioReal Audio

Back to top ∧