Hils, Martin; Liccardo, Martina; Touchard, Pierre
Forschungsartikel in Online-Sammlung | PreprintWe 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.
| Hils, Martin | Professur für Mathematische Logik (Prof. Hils) |
Laufzeit: 01.01.2020 - 31.12.2024 Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
Laufzeit: 01.01.2019 - 31.12.2025 | 1. Förderperiode Gefördert durch: DFG - Exzellenzcluster Art des Projekts: Teilprojekt in DFG-Verbund koordiniert an der Universität Münster |