A New Technique for Definability in Function Fields.

Seminar series

Advanced Logic Class

Date

Thu, 02 Mar 2017
11:00

Location

Speaker

Philip Dittmann

Organisation

Oxford

Generalising previous definability results in global fields using
quaternion algebras, I will present a technique for first-order
definitions in finite extensions of Q(t). Applications include partial
answers to Pop's question on Isomorphism versus Elementary Equivalence,
and some results on Anscombe's and Fehm's notion of embedded residue.