Pierre Touchard: Stably embedded elementary submodels and Henselian valued fields
Donnerstag, 18.04.2019 11:00 im Raum SR 1D
We will discuss when an elementary submodel is stably embedded. This question has been studied by Marker and Steinhorn for o-minimal theories. In 2015, Kovacsics and Delon characterised pairs of algebraically closed valued fields $M \prec N$ with $M$ stably embedded in $N$ by the corresponding property of the value groups. In this talk, we will see how one can generalise this result for all Henselian valued fields. We will also discuss the following question: when can stable embeddedness of elementary pairs be expressed in first order logic, when we add a predicate $P$ for the smaller model.