2025/12/04 by Blaise Boissonneau, Boissonneau, Blaise, Anna De Mase +5 · 1 citation
Mathematics · #03C60 #03C64 #06F20 (Primary) #12J20 #12L12 (Secondary) #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.2512.04932
openalex publication_date 2025/12/04 · openalex created_date 2025/12/06 · openalex updated_date 2026/07/28
We prove that for every ordered abelian group G there exists a non-trivial ordered abelian group H such that G\preccurlyeq H⊕ G with the lexicographic order, and give a first-order characterization of ordered abelian group G such that G\preccurlyeq G⊕ H for some non-trivial H. We apply this to characterize which ordered abelian groups (respectively fields) ensure that any henselian valuation with said value group (respectively residue field) is definable in the language of rings. This answers a question of Krapp, Kuhlmann, and Link.