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

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)].