Model Theory Seminar

School of Mathematics, University of Leeds

All the seminars will be in MALL 2 and will be on Tuesdays at 2pm, with the exception of week 3 (see below).

Autumn Term 2013

Week 5, Tuesday 29th October
Will Anscombe
Existentially and universally definable valuation rings

We give an exposition of results in recent papers (of Cluckers-Derakhshan-Leenknegt-Macintyre, and joint work of the speaker with Fehm and Koenigsmann) about the definability of valuation rings in valued fields by existential formulas and by universal formulas, using few parameters. We mainly work in power series fields and use parameters from the embedded residue field.