Minimal coorder of pseudo-Boolean and topo-Boolean algebras having no finite basis of quasi-identities

DOI10.1007/BF01982311zbMath0672.03047OpenAlexW2057137778MaRDI QIDQ1119577

M. P. Tropin

Publication date: 1988

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01982311

zbMATH Keywords

pseudo-Boolean algebrabasis of quasi-identitiesco-ordertopo-Boolean algebras

Mathematics Subject Classification ID

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