Minimal coorder of pseudo-Boolean and topo-Boolean algebras having no finite basis of quasi-identities
From MaRDI portal
Publication:1119577
DOI10.1007/BF01982311zbMath0672.03047MaRDI QIDQ1119577
Publication date: 1988
Published in: Algebra and Logic (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03G10: Logical aspects of lattices and related structures
06D20: Heyting algebras (lattice-theoretic aspects)
03B10: Classical first-order logic
08C15: Quasivarieties
03B55: Intermediate logics
Related Items
Open questions related to the problem of Birkhoff and Maltsev, Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. II
Cites Work
- Unnamed Item
- Quasiidentities of two-element algebras
- Groups with Abelian subgroups of finite ranks
- Finite lattices having no independent basis of quasiidentities
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
- Bases of quasiidentities of finite distributive p-algebras
- Strong constructivizability of homogeneous models
- Covers in lattices of quasivarieties and independent axiomatizability