Model Theory Seminar

School of Mathematics, University of Leeds

This week's seminar will be in Roger Stevens Lecture Theatre 7 and will be on Tuesday 11th February at 2pm. We will meet before the seminar at about 1.40pm in the common room for tea and coffee.

The seminar is organised by Will Anscombe.

Spring Term 2014

Week 5, Tuesday 11th February
Will Anscombe
Definable valuations: Prestel's recent paper

I will give a presentation of Prestel's recent contribution to the subject of definable henselian valuations. His method is to use a Beth-like theorem, and he obtains definitions which are highly uniform.