Pages that link to "Item:Q3808206"

The following pages link to Elimination theory for the ring of algebraic integers. (Q3808206):

Displaying 19 items.

• On the decidability of the theory of modules over the ring of algebraic integers (Q529159) (← links)
• A valuation ring analogue of von Neumann regularity (Q866563) (← links)
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
• The elementary theory of \(e\)-free PAC domains (Q1977485) (← links)
• Bézout domains and lattice-valued modules (Q2318399) (← links)
• Definability and decidability in infinite algebraic extensions (Q2349099) (← links)
• Model companion and model completion of theories of rings (Q2391092) (← links)
• On von Neumann regular rings with an automorphism (Q2456173) (← links)
• A generalization of von Neumann regularity (Q2488273) (← links)
• Definability of the natural numbers in totally real towers of nested square roots (Q2944799) (← links)
• Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
• Recent results in the theory of constant reductions (Q4017061) (← links)
• The undecidability of cyclotomic towers (Q4508178) (← links)
• Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ (Q5119226) (← links)
• Undecidability of ℚ⁽²⁾ (Q5212403) (← links)
• Valued modules on skew polynomial rings and Bézout domains (Q5239169) (← links)
• Decidability and modules over Bézout domains (Q5239174) (← links)
• PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ (Q5858949) (← links)
• Definability and decidability for rings of integers in totally imaginary fields (Q6148055) (← links)