2 papers
math.LO2025
Know Your Rank!
Blaise Boissonneau, Lasse Vogel
We study definable ranks of ordered fields, ordered abelian groups, and linear orders. For an arbitrary linear order , we construct an ordered abelian group with archimedian…
math.LO2025
Growing Spines: Ad Infinitum et Ad Infinitesimalia
Blaise Boissonneau, Anna De Mase, Franziska Jahnke +1
We prove that for every ordered abelian group there exists a non-trivial ordered abelian group such that with the lexicographic order, and give a…