Pages that link to "Item:Q1124621"
From MaRDI portal
The following pages link to Varieties with decidable finite algebras. II: Permutability (Q1124621):
Displaying 10 items.
- Finitely determined arithmetical varieties need not be universally- finite (Q1083464) (← links)
- A characterization of congruence permutable locally finite varieties (Q1175755) (← links)
- Finitary decidability implies congruence permutability for congruence modular varieties (Q1205173) (← links)
- A sufficient condition for finite decidability (Q1272241) (← links)
- Type 2 subdirectly irreducible algebras in finitely decidable varieties (Q1895585) (← links)
- A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
- Finitely Decidable Congruence Modular Varieties (Q3142089) (← links)
- Decision problem for finite equivalential algebras (Q3976917) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)