We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Interpretable fields in real closed valued fields and some expansions

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.
Subjects: Logic (math.LO)
Cite as: arXiv:2102.00814 [math.LO]
  (or arXiv:2102.00814v2 [math.LO] for this version)

Submission history

From: Ya'acov Peterzil [view email]
[v1] Mon, 1 Feb 2021 13:12:16 GMT (27kb)
[v2] Fri, 7 May 2021 20:15:28 GMT (28kb)

Link back to: arXiv, form interface, contact.