Undecidable Rings

DOI10.2307/1990529MaRDI QIDQ5804178zbMATH OpenOpenAlexFDO

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

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

Cited in

(30)

• Elementary theories of finitely generated pro-p-rings
• 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
• Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
• Tarski-type problems for free associative algebras
• On the elimination of imaginaries from certain valued fields
• The undecidability of fields of rational functions over fields of characteristic 2
• Decidability of certain theories of integers
• Definability and decidability in infinite algebraic extensions
• Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
• The Undecidability of Algebraic Rings and Fields
• 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 ℕ
• La théorie d'un anneau de polynômes
• Decidable Sentences Over Polynomial Rings
• Undecidability and Definability for the Theory of Global Fields
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable
• On the strength of some topological lattices
• 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
• Elementary theory of a finitely generated commutative ring
• Uniform definability of integers in reduced indecomposable polynomial rings
• Groups elementarily equivalent to metabelian Baumslag-Solitar groups and regular bi-interpretability
• Finite undecidability in NIP fields
• Undecidability of indecomposable polynomial rings
• Decidability questions for a ring of Laurent polynomials
• A representation of convex semilinear sets
• Interpreting the arithmetic in Thompson's group \(F\).

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)