Undecidability and Definability for the Theory of Global Fields

DOI10.2307/1999979MaRDI QIDQ3926549zbMATH OpenOpenAlexFDO

Authors Robert S. Rumely

Publication date 1980

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

zbMATH Keywords

function fieldsGoedel functionsHasse principlenatural numberspolynomial ringsvaluations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05)

Cites work

• Arithmetical definability of field elements
• Definability and decision problems in arithmetic
• scientific article; zbMATH DE number 3510416 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3281871 (Why is no real title available?)
• scientific article; zbMATH DE number 3309311 (Why is no real title available?)
• scientific article; zbMATH DE number 3322089 (Why is no real title available?)
• scientific article; zbMATH DE number 3329115 (Why is no real title available?)
• scientific article; zbMATH DE number 3335234 (Why is no real title available?)
• The Undecidability of Algebraic Rings and Fields
• THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
• Undecidable Rings

Cited in

(25)

• 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 ℕ
• Undecidability, unit groups, and some totally imaginary infinite extensions of \(\mathbb{Q}\)
• A class of fields with a restricted model completeness property
• A construction of real closed fields
• A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF
• Finite undecidability in PAC and PRC fields
• A survey of local-global methods for Hilbert's tenth problem
• On Hilbert's ``geometric tenth problem for odd characteristic function fields
• Hilbert's tenth problem for fields of rational functions over finite fields

This page was built for publication: Undecidability and Definability for the Theory of Global Fields

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