The following pages link to (Q3791112):
Displayed 7 items.
- The equality problem in nonassociative rings (Q1191165) (← links)
- On the decidability of equational theories of varieties of rings (Q1280610) (← links)
- Matrix hierarchies of first-order languages and their applications (Q1803010) (← links)
- Nonassociative rings with a single defining relation whose elementary theories are decidable (Q1814494) (← links)
- Critical theories of supervarieties of the variety of commutative associative rings (Q1920871) (← links)
- Critical theories of certain nonassociative rings (Q2277245) (← links)
- Critical theories of some classes of graphs and unary algebras (Q2639043) (← links)