Year: 2021
Type: preprint
Abstract: Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The same result holds when $K$ is a model of $T$, for $T$ an o-minimal power bounded expansion of a real closed field, and $O$ is a $T$-convex subring. The proof is direct and does not make use of known results about elimination of imaginaries in valued fields.
Source: arXiv (Cornell University)
Authors: Hasson, Assaf, Peterzil, Ya'acov
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W3126744301