Undecidability and Definability for the Theory of Global Fields
From MaRDI portal
Publication:3926549
DOI10.2307/1999979zbMath0472.03010MaRDI QIDQ3926549
Publication date: 1980
Full work available at URL: https://doi.org/10.2307/1999979
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, A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF, 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