English

Know Your Rank!

Logic 2025-12-23 v1

Abstract

We study definable ranks of ordered fields, ordered abelian groups, and linear orders. For an arbitrary linear order Γ\Gamma, we construct an ordered abelian group GG with archimedian spine Γ\Gamma and an ordered field KK with natural value group GG such that the definable ranks of KK, GG and Γ\Gamma are all isomorphic. This answers a question of Krapp, Kuhlmann, and the second author.

Keywords

Cite

@article{arxiv.2512.18349,
  title  = {Know Your Rank!},
  author = {Blaise Boissonneau and Lasse Vogel},
  journal= {arXiv preprint arXiv:2512.18349},
  year   = {2025}
}

Comments

9 pages. Answering question asked in arXiv:2506.00443

R2 v1 2026-07-01T08:34:50.902Z