Pages that link to "Item:Q1117961"

The following pages link to The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961):

Displaying 11 items.

• Decision problems for classes of diagonalizable algebras (Q1075310) (← links)
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619) (← links)
• Varieties with decidable finite algebras. I: Linearity (Q1124620) (← links)
• Varieties with decidable finite algebras. II: Permutability (Q1124621) (← links)
• Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
• A decidable equational theory with undecidable membership problem for finite algebras (Q1966168) (← links)
• A property of the solvable radical in finitely decidable varieties (Q2773238) (← links)
• A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
• (Q3602608) (← links)
• Decision problem for finite equivalential algebras (Q3976917) (← links)
• On Solvable Congruences in Finitely Decidable Varieties (Q4304097) (← links)