Interpretable fields in real closed valued fields and some expansions
Logic
2021-05-11 v2
Abstract
Let be a real closed valued field and let be its residue field. We prove that every interpretable field in is definably isomorphic to either , , , or . The same result holds when is a model of , for an o-minimal power bounded expansion of a real closed field, and is a -convex subring. The proof is direct and does not make use of known results about elimination of imaginaries in valued fields.
Keywords
Cite
@article{arxiv.2102.00814,
title = {Interpretable fields in real closed valued fields and some expansions},
author = {Assaf Hasson and Ya'acov Peterzil},
journal= {arXiv preprint arXiv:2102.00814},
year = {2021}
}