The following pages link to (Q4124831):
Displayed 10 items.
- The decidability of some classes of Stone algebras (Q412007) (← links)
- Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width (Q515496) (← links)
- Iterated discriminator varieties have undecidable theories (Q1076050) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Varieties with decidable finite algebras. I: Linearity (Q1124620) (← links)
- The first order theory of Boolean algebras with a distinguished group of automorphisms (Q1154492) (← links)
- Remarks on contact relations on Boolean algebras (Q1935013) (← links)
- Automorphisms of Boolean algebras definable by fixed elements (Q1936274) (← links)
- Decidable varieties with modular congruence lattices (Q3921288) (← links)
- Decidable Discriminator Varieties from Unary Classes (Q4038454) (← links)