Pages that link to "Item:Q1073065"

The following pages link to Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra (Q1073065):

Displaying 9 items.

• Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
• The axiomatizability of topological prevarieties (Q932172) (← 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)
• A note on well-generated Boolean algebras in models satisfying Martin's axiom (Q1772264) (← links)
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
• Profinite locally finite quasivarieties (Q6597129) (← links)