Pages that link to "Item:Q529159"

The following pages link to On the decidability of the theory of modules over the ring of algebraic integers (Q529159):

Displaying 14 items.

• Quantifier elimination for modules with scalar variables (Q1192337) (← links)
• Bézout domains and lattice-valued modules (Q2318399) (← links)
• Decidability of the theory of modules over Prüfer domains with dense value groups (Q2326429) (← links)
• A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
• Elimination theory for the ring of algebraic integers. (Q3808206) (← links)
• Decidability for modules over a group ring - II (Q4282851) (← links)
• THE ZIEGLER SPECTRUM OF THE RING OF ENTIRE COMPLEX VALUED FUNCTIONS (Q4628677) (← links)
• DECIDABILITY OF THE THEORY OF MODULES OVER PRÜFER DOMAINS WITH INFINITE RESIDUE FIELDS (Q4647101) (← links)
• Decidability for modules over a group ring - III (Q4868183) (← links)
• Valued modules on skew polynomial rings and Bézout domains (Q5239169) (← links)
• Decidability and modules over Bézout domains (Q5239174) (← links)
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS (Q5501777) (← links)
• Decidability of the class of all the rings : A problem of Ax (Q6168504) (← links)
• Notes on model theory of modules over Dedekind domains (Q6201505) (← links)