Pages that link to "Item:Q1280610"

The following pages link to On the decidability of equational theories of varieties of rings (Q1280610):

Displaying 10 items.

• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
• On positive and critical theories of some classes of rings (Q1587004) (← links)
• Nonassociative rings with a single defining relation whose elementary theories are decidable (Q1814494) (← links)
• Pseudovarieties of associative rings: Congruence-linearity and decidability (Q1910271) (← links)
• Equational theories for the varieties of metabelian and commutative rings (Q1918787) (← links)
• Critical theories of supervarieties of the variety of commutative associative rings (Q1920871) (← links)
• On equational theories of varieties of anticommutative rings (Q1966192) (← links)
• The equational theory of a nontrivial discriminator variety is co-NP-hard (Q2577705) (← links)
• A LOCALLY FINITE VARIETY OF RINGS WITH AN UNDECIDABLE EQUATIONAL THEORY (Q3429797) (← links)
• (Q4339470) (← links)