(Finitely) subdirectly irreducible and Birkhoff-like sheaf representation for certain varieties of lattice ordered structures (Q1272136)

The algebras of global sections of sheaves are exactly global subdirect products of mutually disjoint algebras. The authors search the varieties of demi-p-lattices, MS-algebras and pseudocomplemented De Morgan algebras for a subclass \({\mathcal F}\subseteq {\mathcal V}\) satisfying two conditions: (S1) for every \(A\in {\mathcal V}\) there is an embedding in a global subdirect product of \({\mathcal F}\) having certain properties defined in the paper, and (S2) every non-trivial algebra of \({\mathcal F}\) is globally indecomposable. For the aforementioned varieties, such a class \({\mathcal F}\) is determined. The paper completes previous results of both authors on the same problem for varieties of distributive lattices and of distributive \(p\)-algebras [Stud. Log. 56, No. 1-2, 111-131 (1996; Zbl 0854.08006)].