The following pages link to (Q4503729):
Displaying 7 items.
- Resolution of algebraic systems of equations in the variety of cyclic Post algebras (Q763314) (← links)
- An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field (Q861578) (← links)
- Interpretations into monadic algebras (Q1104351) (← links)
- Interpretations into Heyting algebras (Q1820182) (← links)
- Interpretability of the Cantor varieties (Q1918794) (← links)
- Equivalence between varieties of square root rings and Boolean algebras with a distinguished automorphism (Q2497452) (← links)
- Interpretations into p-Algebras (Q3971329) (← links)