Pages that link to "Item:Q3921288"
From MaRDI portal
The following pages link to Decidable varieties with modular congruence lattices (Q3921288):
Displaying 4 items.
- A use of the method of interpretations for decidability or undecidability of measure spaces (Q1053671) (← links)
- Quantifier elimination in discriminator varieties (Q1084391) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- Finitely Boolean Representable Varieties (Q3222907) (← links)
