Undecidable Rings

DOI10.2307/1990529zbMATH Open0042.24503OpenAlexW4237228266MaRDI QIDQ5804178FDOQ5804178

Authors: Raphael M. Robinson 

Publication date: 1951

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

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Definability and decision problems in arithmetic
• Title not available (Why is that?)
• An Unsolvable Problem of Elementary Number Theory

Cited In (27)

• Elementary theories of finitely generated pro-p-rings
• Decidability of certain theories of integers
• Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings
• Infinite finitely generated fields are biinterpretable with ℕ
• On an exponential predicate in polynomials over finite fields
• Prevarieties of associative rings whose elementary theory is decidable
• An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields
• A representation of convex semilinear sets
• Undecidability and Definability for the Theory of Global Fields
• Interpreting the arithmetic in Thompson's group \(F\).
• Elementary theory of a finitely generated commutative ring
• $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable
• Decidable Sentences Over Polynomial Rings
• La théorie d'un anneau de polynômes
• Uniform definability of integers in reduced indecomposable polynomial rings
• Definability and decidability in infinite algebraic extensions
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• Decidability questions for a ring of Laurent polynomials
• Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes
• On the strength of some topological lattices
• On the elimination of imaginaries from certain valued fields
• Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
• Tarski-type problems for free associative algebras
• Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
• The undecidability of fields of rational functions over fields of characteristic 2
• Decidability of sub-theories of polynomials over a finite field
• The Undecidability of Algebraic Rings and Fields

This page was built for publication: Undecidable Rings

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