Stably Embedded Pairs of Ordered Abelian Groups [Stabil eingebettete Paare angeordneter abelscher Gruppen]
Hils, Martin; Liccardo, Martina; Touchard, Pierre
Research article in digital collection | PreprintAbstract
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) |
Projects the publication originates from
Duration: 01/01/2020 - 31/12/2024 Funded by: DFG - Individual Grants Programme Type of project: Individual project | |
Duration: 01/01/2019 - 31/12/2025 | 1st Funding period Funded by: DFG - Cluster of Excellence Type of project: Subproject in DFG-joint project hosted at University of Münster |