Undecidable Rings
From MaRDI portal
Publication:5804178
DOI10.2307/1990529zbMath0042.24503OpenAlexW4237228266MaRDI QIDQ5804178
Publication date: 1951
Full work available at URL: https://doi.org/10.2307/1990529
Related Items
Elementary theories of finitely generated pro-p-rings ⋮ Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle ⋮ The Diophantine Problem for Polynomial Rings and Fields of Rational Functions ⋮ Prevarieties of associative rings whose elementary theory is decidable ⋮ Undecidability and Definability for the Theory of Global Fields ⋮ An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields ⋮ Tarski-type problems for free associative algebras ⋮ Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. ⋮ On the strength of some topological lattices ⋮ $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable ⋮ On an exponential predicate in polynomials over finite fields ⋮ Decidability of Sub-theories of Polynomials over a Finite Field ⋮ Infinite finitely generated fields are biinterpretable with ℕ ⋮ Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes ⋮ A representation of convex semilinear sets ⋮ INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS ⋮ Elementary theory of a finitely generated commutative ring ⋮ Interpreting the arithmetic in Thompson's group \(F\). ⋮ On the elimination of imaginaries from certain valued fields ⋮ Decidable Sentences Over Polynomial Rings ⋮ Decidability questions for a ring of Laurent polynomials ⋮ The undecidability of fields of rational functions over fields of characteristic 2 ⋮ Decidability of certain theories of integers ⋮ The Undecidability of Algebraic Rings and Fields ⋮ UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS ⋮ La théorie d'un anneau de polynômes ⋮ Definability and decidability in infinite algebraic extensions
Cites Work
This page was built for publication: Undecidable Rings
