Pages that link to "Item:Q2326429"

The following pages link to Decidability of the theory of modules over Prüfer domains with dense value groups (Q2326429):

Displaying 10 items.

• Decidability of the theory of modules over commutative valuation domains (Q866569) (← links)
• Bézout domains and lattice-valued modules (Q2318399) (← links)
• (Q3614621) (← links)
• Decidability for modules over a group ring - II (Q4282851) (← 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)
• Decidability and modules over Bézout domains (Q5239174) (← links)
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS (Q5501777) (← links)
• PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ (Q5858949) (← links)
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions (Q5891806) (← links)