On Strongly NIP Ordered Fields and Definable Convex Valuations
@article{Krapp2018OnSN, title={On Strongly NIP Ordered Fields and Definable Convex Valuations}, author={L. S. Krapp and S. Kuhlmann and Gabriel Leh{\'e}ricy}, journal={arXiv: Logic}, year={2018} }
We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have connections to recent conjectures on definability of henselian valuations in strongly NIP fields. Moreover, we obtain a complete characterisation of strongly NIP almost real closed fields.
5 Citations
References
SHOWING 1-10 OF 25 REFERENCES
Definable valuations induced by multiplicative subgroups and NIP fields
- Mathematics, Computer Science
- Arch. Math. Log.
- 2019
- 8
- PDF
Some Model Theory for Almost Real Closed Fields
- Mathematics, Computer Science
- J. Symb. Log.
- 1996
- 18
- Highly Influential
- PDF