The following pages link to Undecidable Rings (Q5804178):
Displaying 27 items.
- Elementary theory of a finitely generated commutative ring (Q585286) (← links)
- Decidability questions for a ring of Laurent polynomials (Q764281) (← links)
- A representation of convex semilinear sets (Q987186) (← links)
- Interpreting the arithmetic in Thompson's group \(F\). (Q995623) (← links)
- Elementary theories of finitely generated pro-p-rings (Q1096680) (← links)
- Prevarieties of associative rings whose elementary theory is decidable (Q1136753) (← links)
- An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields (Q1399671) (← links)
- Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. (Q1427400) (← links)
- Tarski-type problems for free associative algebras (Q1702719) (← links)
- On the elimination of imaginaries from certain valued fields (Q1802185) (← links)
- The undecidability of fields of rational functions over fields of characteristic 2 (Q1843430) (← links)
- Decidability of certain theories of integers (Q1844663) (← links)
- Definability and decidability in infinite algebraic extensions (Q2349099) (← links)
- Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle (Q3183193) (← links)
- The Undecidability of Algebraic Rings and Fields (Q3281069) (← links)
- On an exponential predicate in polynomials over finite fields (Q3574832) (← links)
- Decidability of Sub-theories of Polynomials over a Finite Field (Q3576076) (← links)
- Infinite finitely generated fields are biinterpretable with ℕ (Q3577298) (← links)
- La théorie d'un anneau de polynômes (Q3676242) (← links)
- Decidable Sentences Over Polynomial Rings (Q3784041) (← links)
- Undecidability and Definability for the Theory of Global Fields (Q3926549) (← links)
- The Diophantine Problem for Polynomial Rings and Fields of Rational Functions (Q4182609) (← links)
- $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable (Q4372333) (← links)
- On the strength of some topological lattices (Q4635374) (← links)
- Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes (Q5187379) (← links)
- INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS (Q5195064) (← links)
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916) (← links)
