Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator (Q1016093)

A Boolean algebra with a normal monotonic operation, for brevity a BAMO, is a pair \((A,\diamondsuit)\) such that \(A\) is a BA and \(\diamondsuit\) is an \(n\)-ary operation which is monotonic (for all \(i<n\), if \(\overline{x}=\overline{y}\), except that \(x_i\leq y_i\), then \(\diamondsuit(\overline{x})\leq\diamondsuit(\overline{y})\)) and normal (if \(x_i=0\) for some \(i<n\), then \(\diamondsuit(\overline{x})=0\)). This paper develops topological duality for BAMOs. The topological dual consists of certain structures of the form \((X,R,\tau)\), where \((X,\tau)\) is a Boolean space and \(R\subseteq X\times C_0(X^n)\), where \(C_0(X^n)\) is the collection of all nonempty closed subsets of \(X^n\); the exact definition is lengthy. These structures are called descriptive frames. This duality has properties quite similar to classical Boolean duality. BAMO subalgebras correspond to certain equivalence relations on the dual, and BAMO congruences correspond to certain closed sets in the dual space. This duality is used to characterize simple and subdirectly irreducible BAMOs.