2020/05/05 by Pierre Touchard, Touchard, Pierre
Mathematics · #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.2005.02363
openalex publication_date 2020/05/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its value group is stably embedded in its corresponding extension, its residue field is stably embedded in its corresponding extension, and the extension of valued fields satisfies a certain algebraic condition. We show for instance that all types over the Hahn field ℝ((ℤ)) are definable. Similarly, all types over the quotient field of the Witt ring W(\mathbbFpalg) are definable. This extends a work of Cubides and Delon and of Cubides and Ye.