The following pages link to (Q3801521):
Displayed 3 items.
- Undecidability of relatively free Hilbert algebras (Q1103604) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619) (← links)