加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本