Submission date: 5 May 2020

Abstract:

We reduce the question of definability of types over submodels of certain Henselian valued fields to the corresponding question in the value group and residue field. Then, we treat the question of the axiomatization of stably embedded elementary pairs of these Henselian valued fields. This work extends previous results of Cubides and Delon on algebraically closed valued fields and results of Cubides and Ye on real closed valued fields.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2005.02363: pdf, ps.