Uniform first-order definitions in finitely generated fields

DOI10.1215/S0012-7094-07-13811-0zbMATH Open1197.12005arXivmath/0507486MaRDI QIDQ2370123FDOQ2370123

Authors: Bjorn Poonen 

Publication date: 22 June 2007

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

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.

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• Elementary equivalence versus isomorphism. II
• 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)