Uniform first-order definitions in finitely generated fields

DOI10.1215/S0012-7094-07-13811-0MaRDI QIDQ2370123zbMATH OpenFDO

Authors 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 of fields (12L12) Model theory (number-theoretic aspects) (11U09)

Abstract: We prove that there is a first-order sentence in the language of rings that is true for all finitely generated fields of characteristic 0 and false for all fields of characteristic >0. We also prove that for each n in N, there is a first-order formula psi_n(x_1,...,x_n) that when interpreted in a finitely generated field K is true for elements x_1,...,x_n in K if and only if the elements are algebraically dependent over the prime field in K.

Recommendations

• Universally defining finitely generated subrings of global fields
• Infinite finitely generated fields are biinterpretable with ℕ
• Elementary equivalence versus isomorphism. II
• Decidable fragments of field theories
• scientific article; zbMATH DE number 57846

Cites work

• scientific article; zbMATH DE number 3937328 (Why is no real title available?)
• scientific article; zbMATH DE number 32406 (Why is no real title available?)
• scientific article; zbMATH DE number 3190335 (Why is no real title available?)
• Complex multiplication structure of elliptic curves
• Definability and decision problems in arithmetic
• Diophantine unsolvability over p-adic function fields
• Elementary equivalence versus isomorphism
• Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields
• First-order characterization of function field invariants over large fields
• Ideal membership in polynomial rings over the integers
• On quasi algebraic closure
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• The Undecidability of Algebraic Rings and Fields
• Undecidability and Definability for the Theory of Global Fields

Cited in

(11)

• A note on uniform definability and minimal fields of definition
• Infinite finitely generated fields are biinterpretable with ℕ
• Finite undecidability in PAC and PRC fields
• Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
• First-order rigidity of rings satisfying polynomial identities
• Definability and decidability in infinite algebraic extensions
• Universally defining finitely generated subrings of global fields
• Elementary equivalence versus isomorphism. II
• scientific article; zbMATH DE number 3928974 (Why is no real title available?)
• Defining additive subgroups of the reals from convex subsets
• Bounds and definablity over fields.

This page was built for publication: Uniform first-order definitions in finitely generated fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2370123)