Logic Seminar

Valued difference fields: beyond surjectivity

Name: Valued difference fields: beyond surjectivity
Start: 2024-04-11T14:30:00+02:00
End: 2024-04-11T16:30:00+02:00
Location: Dipartimento di Matematica

by Simone Ramello (Universität Münster)

Thursday Apr 11, 2024, 2:30 PM → 4:30 PM Europe/Rome

Aula Riunioni (Dipartimento di Matematica)

Aula Riunioni

Dipartimento di Matematica

Description

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.