English

Interpretable fields in real closed valued fields and some expansions

Logic 2021-05-11 v2

Abstract

Let M=K;O\mathcal M=\langle K;O\rangle be a real closed valued field and let kk be its residue field. We prove that every interpretable field in M\mathcal M is definably isomorphic to either KK, K(1)K(\sqrt{-1}), kk, or k(1)k(\sqrt{-1}). The same result holds when KK is a model of TT, for TT an o-minimal power bounded expansion of a real closed field, and OO is a TT-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}
}
R2 v1 2026-06-23T22:43:18.576Z