Pages that link to "Item:Q1205173"
From MaRDI portal
The following pages link to Finitary decidability implies congruence permutability for congruence modular varieties (Q1205173):
Displaying 4 items.
- A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
- Finitely Decidable Congruence Modular Varieties (Q3142089) (← links)
- On Solvable Congruences in Finitely Decidable Varieties (Q4304097) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)