Pages that link to "Item:Q1073065"
From MaRDI portal
The following pages link to Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra (Q1073065):
Displayed 5 items.
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- A finite basis theorem for quasivarieties (Q1061158) (← links)
- Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities (Q1117257) (← links)
- Minimal coorder of pseudo-Boolean and topo-Boolean algebras having no finite basis of quasi-identities (Q1119577) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)