Pages that link to "Item:Q3281069"
From MaRDI portal
The following pages link to The Undecidability of Algebraic Rings and Fields (Q3281069):
Displayed 22 items.
- Implicit definability of subfields (Q558423) (← links)
- Elementary theory of a finitely generated commutative ring (Q585286) (← links)
- Defining the integers in large rings of a number field using one universal quantifier (Q843611) (← links)
- Computational complexity of sentences over fields (Q937294) (← links)
- Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I (Q1052463) (← links)
- Elementary theories of finitely generated pro-p-rings (Q1096680) (← links)
- Polynomial time algorithms for sentences over number fields (Q1187032) (← links)
- Self-injective regular algebras and function rings (Q1205175) (← links)
- On stable torsion-free nilpotent groups (Q1313601) (← links)
- Hilbert's tenth problem for rings of rational functions (Q1430905) (← links)
- Definability of the ring of integers in pro-\(p\) Galois extensions of number fields (Q1580494) (← links)
- The theory of models of bilinear mappings (Q1814075) (← links)
- Uniform first-order definitions in finitely generated fields (Q2370123) (← links)
- Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\) (Q2566189) (← links)
- First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 (Q2570137) (← links)
- Definability of the ring of integers in some infinite algebraic extensions of the rationals (Q2910987) (← links)
- Defining additive subgroups of the reals from convex subsets (Q3182585) (← links)
- Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers (Q3508028) (← links)
- Infinite finitely generated fields are biinterpretable with ℕ (Q3577298) (← 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)
- On Diophantine definability and decidability in some infinite totally real extensions of ℚ (Q4813802) (← links)