Hilbert algebras with supremum (Q422345)

The authors consider the properties of Hilbert algebras \(\langle A, \to, \vee, 1 \rangle\) with supremum (simply \(H^{\vee}\)-algebras), that is, (1) \(\langle A,\to, 1 \rangle\) is a Hilbert algebra, (2) \(\langle A, \to, 1 \rangle\) is a join-semilattice with the greatest element \(1\), (3) \(a\to b=1\) iff \(a\vee b = b\) for all \(a,b\in A\), and prove a representation and a duality theorem of \(H^{\vee}\) algebras. At first, they give a simplified topological duality for Hilbert algebras using sober topological spaces with a basis of open-compact sets satisfying an additional condition. Then they extend this result to the case of Hilbert algebras with supremum. A Hilbert space or \(H\)-space is a topological space \(\langle X, \mathcal{T}_{\mathcal{K}} \rangle\) such that: H1. \(\mathcal{K}\) is a base of open and compact subsets for the topology \(\mathcal{T}_{\mathcal{K}}\) on \(X\). H2. For all \(A,B \in \mathcal{K}\), sat\((A\cap B^c)\in \mathcal{K}\), where sat\((A\cap B^c)\) is the saturated set generated by \(A\cap B^c\). H3. \(\langle X, \mathcal{T}_{\mathcal{K}} \rangle\) is sober. Theorem 3.3: Let \(\langle X, \mathcal{T}_{\mathcal{K}} \rangle\) be a topological space with a base \(\mathcal{K}\) of open and compact subsets for the topology \(\mathcal{T}_{\mathcal{K}}\) on \(X\). Suppose that for all \(A,B\in \mathcal{K}\), sat\((A\cap B^c)\in \mathcal{K}\). Then the following conditions are equivalent: (1) \(X\) is \(T_0\), and for each closed subset \(Y\) and a subset \(L\subseteq X\) dually directed such that \(Y\cap U\neq \emptyset\) for all \(U\in L\), one has \(\bigcap \{ U \,|\, U\in L\} \cap Y \neq \emptyset\). (2) \(X\) is \(T_0\) and \(\varepsilon_X: X\to X(D(X))\), where \(\varepsilon_X (x) = \{U \in D(X) \,|\, x\in U \}\) for each \(x\in X\), is onto. (3) \(\langle X, \mathcal{T}_{\mathcal{K}} \rangle\) is sober. We note that \(D(X) = \{U\subseteq X\,|\, U^c \in \mathcal{K}\}\) and that \(X(A)\) is the set of all irreducible deductive systems of a Hilbert algebra \(A\), where a subset \(D\subseteq A\) is called deductive system of \(A\) if \(1\in D\) and if \(a, a\to b\in D\) then \(b\in D\). Theorems 3.7, 3.8: Let \(A\) be a Hilbert algebra. Then \(\langle X(A), \mathcal{T}_{{\mathcal{K}_A}} \rangle\) is an \(H\)-space and \(D(X(A)) = \{\varphi(a) \,|\, a\in A\}\) is a Hilbert algebra isomorphic to \(A\). Conversely, for an \(H\)-space \(\langle X, \mathcal{T}_{\mathcal{K}} \rangle\), the topological spaces \(\langle X, \mathcal{T}_{\mathcal{K}} \rangle\) and \(\langle X(D(X)), \mathcal{T}_{{\mathcal{K}_{D(X)}}} \rangle\) are homeomorphic by \(\varepsilon_X : X\to X(D(X))\). Theorem 5.6: Let \(A\) be an \(H^{\vee}\)-algebra. Then \(\langle X(A), \mathcal{T}_{{\mathcal{K}_A}} \rangle\) is an \(H^{\vee}\)-space and the mapping \(\varphi: A \to D(X(A))\) is an isomorphism of \(H^{\vee}\)-algebras.