Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability (Q920988): Difference between revisions

Let \(T=(T,<)\) be a partially ordered set, and LT be the set of all ideals of T (including \(\emptyset)\). An algebra \(A=(A,+,\circ,\to,\neg,(d_ t)_{t\in T},(e_ s)_{s\in LT})\) is said to be a plain semi-Post algebra (psP-algebra) of type T if (p0) \((A,+,\circ,\to,\neg)\) is a Heyting (pseudo Boolean) algebra with unit \(e_ T\) and zero \(e_{\emptyset}\), and \(e_ T=\neg e_{\emptyset},\) (p1) \(d_ t(a+b)=d_ ta+d_ tb,\) (p2) \(d_ t(a\circ b)=d_ ta\circ d_ tb,\) (p3) \(d_ wd_ ta=d_ td_ wa,\) (p4) \(d_ te_ s=e_ T\) if \(t<s\), \(d_ te_ s=e_{\emptyset}\) otherwise, (p5) \(d_ ta+\neg d_ ta=e_ T,\) (p6) \(a=\sum_{t\in T}(d_ ta\circ e_ t),\) for any a,b\(\in A\), t,w\(\in T\) and \(s\in LT\) \((\sum\) denotes the least upper bound in A, and \(s\in T\) is identified with the ideal generated by s). The authors give the main examples of psP-algebras and prove a generalization of Epstein's lemma for psP-algebras. Subalgebras and homomorphisms preserving the type are studied, and filters which determine congruences such that quotients preserve the type, are described. The main aim of the paper is a representation theory for psP- algebras in terms of special fields of sets.