The Undecidability of Algebraic Rings and Fields
From MaRDI portal
Publication:3281069
DOI10.2307/2033628zbMath0100.01501OpenAlexW4244948438MaRDI QIDQ3281069
Publication date: 1959
Full work available at URL: https://doi.org/10.2307/2033628
Related Items (38)
Expansions of o-minimal structures by dense independent sets ⋮ Uniform first-order definitions in finitely generated fields ⋮ Defining the integers in large rings of a number field using one universal quantifier ⋮ Elementary theories of finitely generated pro-p-rings ⋮ Definability of the ring of integers in some infinite algebraic extensions of the rationals ⋮ Defining additive subgroups of the reals from convex subsets ⋮ On Diophantine definability and decidability in some infinite totally real extensions of ℚ ⋮ The Diophantine Problem for Polynomial Rings and Fields of Rational Functions ⋮ First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ On mutual definability of operations on fields ⋮ Northcott numbers for the house and the Weil height ⋮ Undecidability and Definability for the Theory of Global Fields ⋮ Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers ⋮ On the model theory of higher rank arithmetic groups ⋮ A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF ⋮ Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ ⋮ Elementary equivalence of rings with finitely generated additive groups ⋮ Hilbert's tenth problem for rings of rational functions ⋮ Computational complexity of sentences over fields ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Polynomial time algorithms for sentences over number fields ⋮ Self-injective regular algebras and function rings ⋮ Infinite finitely generated fields are biinterpretable with ℕ ⋮ Implicit definability of subfields ⋮ Elementary theory of a finitely generated commutative ring ⋮ Complete first-order theories of some classical matrix groups over algebraic integers ⋮ Semantics, specification logic, and Hoare logic of exact real computation ⋮ Finite undecidability in PAC and PRC fields ⋮ The theory of models of bilinear mappings ⋮ Julia Robinson numbers ⋮ Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's ⋮ Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\) ⋮ Definability of the ring of integers in pro-\(p\) Galois extensions of number fields ⋮ First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 ⋮ Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I ⋮ Uniformly defining \(p\)-Henselian valuations ⋮ On stable torsion-free nilpotent groups ⋮ Definability and decidability in infinite algebraic extensions
Cites Work
This page was built for publication: The Undecidability of Algebraic Rings and Fields
