Skip to content

MAA

Seminar

Overconvergent real closed quantifier elimination

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

Seminar Room 1, Newton Institute

Abstract

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

Presentation

[pdf ]

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧