Know Your Rank!
Blaise Boissonneau, Lasse Vogel

TL;DR
This paper constructs specific ordered algebraic structures with matching definable ranks, answering a question about the relationship between linear orders, abelian groups, and fields.
Contribution
It provides a method to realize ordered fields and groups with prescribed definable ranks matching a given linear order, solving an open problem.
Findings
Constructed ordered abelian groups with a given archimedian spine
Built ordered fields with value groups isomorphic to these groups
Established isomorphism of definable ranks among the structures
Abstract
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 spine and an ordered field with natural value group such that the definable ranks of , and are all isomorphic. This answers a question of Krapp, Kuhlmann, and the second author.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Rings, Modules, and Algebras · Computability, Logic, AI Algorithms
