Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities

DOI10.1007/BF01978303zbMath0667.06007MaRDI QIDQ1117257

M. P. Tropin

Publication date: 1988

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

Full work available at URL: https://eudml.org/doc/187417

zbMATH Keywords

finite Heyting algebrasfinite topo-Boolean algebras

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)

Related Items (1)

Lattices of subclasses. III

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Groups with Abelian subgroups of finite ranks
• Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
• Bases of quasiidentities of finite distributive p-algebras
• Covers in lattices of quasivarieties and independent axiomatizability
• On the structure of varieties with equationally definable principal congruences. I
• Equational Bases for Lattice Theories.
• Implicational Classes of Pseudocomplemented Distributive Lattices
• Algebras Whose Congruence Lattices are Distributive.
• Representation of Distributive Lattices by means of ordered Stone Spaces

This page was built for publication: Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities