Abstract
|
We study the domination monoid in various classes of structures arising from henselian valuations,
including
-expansions
of henselian valued fields of equicharacteristic
(and, more generally, of
benign valued fields),
-adically
closed fields, monotone D-henselian differential valued fields with many constants,
regular ordered abelian groups, and pure short exact sequences of abelian structures.
We obtain Ax–Kochen–Ershov-type reductions to suitable fully embedded
families of sorts in quite general settings, and full computations in concrete
ones.
|
Keywords
model theory, invariant types, domination monoid, valued
fields, ordered abelian groups
|
Mathematical Subject Classification
Primary: 03C45
Secondary: 03C60, 03C64, 12J10, 12L12
|
Milestones
Received: 10 November 2021
Revised: 13 February 2024
Accepted: 14 February 2024
Published: 30 April 2024
|
© 2024 The Author(s), under
exclusive license to MSP (Mathematical Sciences Publishers).
Distributed under the Creative Commons
Attribution License 4.0 (CC BY). |
Open Access made possible by participating
institutions via Subscribe to Open.
|