Undecidability and Definability for the Theory of Global Fields

DOI10.2307/1999979zbMath0472.03010MaRDI QIDQ3926549

Robert S. Rumely

Publication date: 1980

Full work available at URL: https://doi.org/10.2307/1999979

zbMATH Keywords

function fields; valuations; polynomial rings; natural numbers; Hasse principle; Goedel functions

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

12L05: Decidability and field theory

03B25: Decidability of theories and sets of sentences

Related Items

Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ, A CLASS OF FIELDS WITH A RESTRICTED MODEL COMPLETENESS PROPERTY, A construction of real closed fields, Hilbert's tenth problem for fields of rational functions over finite fields, Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic., Hilbert's tenth problem for rings of rational functions, Definability of the ring of integers in pro-\(p\) Galois extensions of number fields, Relatively projective groups as absolute Galois groups, First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers, Elementary equivalence versus isomorphism. II, Uniformly defining \(p\)-Henselian valuations, Definability and decidability in infinite algebraic extensions, Uniform first-order definitions in finitely generated fields, Uniform existential interpretation of arithmetic in rings of functions of positive characteristic, Recursively enumerable sets of polynomials over a finite field are Diophantine, Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\), First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0, Definability of the ring of integers in some infinite algebraic extensions of the rationals, THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS, Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory, Infinite finitely generated fields are biinterpretable with ℕ

Cites Work

• The Undecidability of Algebraic Rings and Fields
• THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
• Definability and decision problems in arithmetic
• Undecidable Rings
• Arithmetical definability of field elements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item