Logic Seminar

Valued difference fields: beyond surjectivity

by Simone Ramello (Universität Münster)

Aula Riunioni (Dipartimento di Matematica)

Aula Riunioni

Dipartimento di Matematica


We establish an embedding lemma for non-inversive multiplicative valued difference fields, building on previous work of Pal (in the inversive case) and Dor-Halevi (in the contracting case), and deduce Ax-Kochen/Ershov-style principles.