Ordered fields dense in their real closure and definable convex valuations
Logic
2021-07-21 v1
Abstract
In this paper, we undertake a systematic model and valuation theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the language of ordered rings. In light of our results, we re-examine the Shelah-Hasson Conjecture (specialised to ordered fields) and provide an example limiting its valuation theoretic conclusions.
Keywords
Cite
@article{arxiv.2010.11832,
title = {Ordered fields dense in their real closure and definable convex valuations},
author = {Lothar Sebastian Krapp and Salma Kuhlmann and Gabriel Lehéricy},
journal= {arXiv preprint arXiv:2010.11832},
year = {2021}
}