Pages that link to "Item:Q3281069"

The following pages link to The Undecidability of Algebraic Rings and Fields (Q3281069):

Displaying 37 items.

• Expansions of o-minimal structures by dense independent sets (Q287480) (← links)
• 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)
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
• Elementary equivalence of rings with finitely generated additive groups (Q1709681) (← links)
• The theory of models of bilinear mappings (Q1814075) (← links)
• Complete first-order theories of some classical matrix groups over algebraic integers (Q2029249) (← links)
• Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's (Q2075403) (← links)
• On mutual definability of operations on fields (Q2186309) (← links)
• Uniformly defining \(p\)-Henselian valuations (Q2344717) (← links)
• Definability and decidability in infinite algebraic extensions (Q2349099) (← 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)
• Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← 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)
• Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ (Q5119226) (← links)
• Julia Robinson numbers (Q5232171) (← links)
• Northcott numbers for the house and the Weil height (Q6048885) (← links)
• A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF (Q6199176) (← links)
• Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)
• Finite undecidability in PAC and PRC fields (Q6584954) (← links)