Stably Embedded Pairs of Ordered Abelian Groups [Stabil eingebettete Paare angeordneter abelscher Gruppen]
Hils, Martin; Liccardo, Martina; Touchard, Pierre
Research article in digital collection | Preprint | Peer reviewedAbstract
We investigate when an ordered abelian group G is stably embedded in a given elementary extension H. We focus on a large class of ordered groups which includes maximal ordered groups with interpretable archimedean valuation. We give a complete answer for groups in this class which takes the form of a transfer principle for valued groups. It follows in particular that all types in the lexicographic product ∏[i∈ω] Z are definable.
Details about the publication
Name of the repository: arxive.org
Article number: 2308.09989
Status: submitted / under review
Release year: 2023
Language in which the publication is written: English
Link to the full text: https://arxiv.org/pdf/2308.09989.pdf
Keywords: ordered abelian group; model theory; stable embeddedness
Authors from the University of Münster
| Hils, Martin | Professorship for Mathematical Logic (Prof. Hils) |