Pages that link to "Item:Q1124621"
From MaRDI portal
The following pages link to Varieties with decidable finite algebras. II: Permutability (Q1124621):
Displayed 6 items.
- 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)
- A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
- Finitely Decidable Congruence Modular Varieties (Q3142089) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)