Infinite finitely generated fields are biinterpretable with ℕ

DOI10.1090/S0894-0347-08-00598-5zbMath1209.12008MaRDI QIDQ3577298

Thomas J. Scanlon

Publication date: 22 July 2010

Published in: Journal of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

interpretabilityfinitely generated fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12)

Related Items

Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle, Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs, Elementary equivalence versus isomorphism. II, Erratum to “Infinite finitely generated fields are biinterpretable with ℕ”, 10th Asian Logic Conference

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elementary equivalence versus isomorphism
• Uniform first-order definitions in finitely generated fields
• Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
• The Undecidability of Algebraic Rings and Fields
• Describing Groups
• Sur la théorie élémentaire des corps de fonctions
• Undecidability and Definability for the Theory of Global Fields
• Équivalence élémentaire et isomorphisme des corps de courbe sur un corps algébriquement clos
• Ideal membership in polynomial rings over the integers
• Undecidable Rings