Uniform first-order definitions in finitely generated fields

DOI10.1215/S0012-7094-07-13811-0zbMath1197.12005arXivmath/0507486MaRDI QIDQ2370123

Bjorn Poonen

Publication date: 22 June 2007

Published in: Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0507486

zbMATH Keywords

first-order sentencelanguage of rings

Mathematics Subject Classification ID

Elliptic curves (14H52) Model theory (number-theoretic aspects) (11U09) Model theory of fields (12L12)

Related Items

First-order rigidity of rings satisfying polynomial identities ⋮ Defining additive subgroups of the reals from convex subsets ⋮ Elementary equivalence versus isomorphism. II ⋮ Uniform existential interpretation of arithmetic in rings of functions of positive characteristic ⋮ Infinite finitely generated fields are biinterpretable with ℕ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elementary equivalence versus isomorphism
• Diophantine unsolvability over \(p\)-adic function fields
• Complex multiplication structure of elliptic curves
• On quasi algebraic closure
• The Undecidability of Algebraic Rings and Fields
• Undecidability and Definability for the Theory of Global Fields
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• Ideal membership in polynomial rings over the integers
• Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields
• Definability and decision problems in arithmetic