Growing Spines Ad Infinitum
Abstract
We show that every non-trivial ordered abelian group $G$ is augmentable by infinite elements, i.e., we have $G\preccurlyeq H\oplus G$ for some non-trivial ordered abelian group $H$. As an application, we show that when $k$ is a field of characteristic 0, then $k$ is not $t$-henselian if and only if all henselian valuations with residue field $k$ are ($\emptyset$-)definable.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2025
- arXiv:
- arXiv:2501.10531
- Bibcode:
- 2025arXiv250110531B
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Group Theory
- E-Print:
- 17 pages