Minimal coorder of pseudo-Boolean and topo-Boolean algebras having no finite basis of quasi-identities
From MaRDI portal
Publication:1119577
DOI10.1007/BF01982311zbMath0672.03047OpenAlexW2057137778MaRDI QIDQ1119577
Publication date: 1988
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01982311
Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Classical first-order logic (03B10) Quasivarieties (08C15) Intermediate logics (03B55)
Related Items (2)
Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. II ⋮ Open questions related to the problem of Birkhoff and Maltsev
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
This page was built for publication: Minimal coorder of pseudo-Boolean and topo-Boolean algebras having no finite basis of quasi-identities