Fields interpretable in the free group

Abstract

We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.

60 pages, version accepted in the Proceedings of the London Mathematical Society

References in corpus (2)

• Diophantine Geometry over Groups IX: Envelopes and Imaginaries
• Ampleness in the free group