Undecidable Rings

DOI10.2307/1990529MaRDI QIDQ5804178zbMATHOpenAlexFDO

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

• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• An Unsolvable Problem of Elementary Number Theory
• Definability and decision problems in arithmetic

Cited in

(27)

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