Galois correspondence related to extension of charges on \(\sigma\)-class of subset of a finite set (Q1897934)

A class of sets (a concrete logic) on a set \(\Omega\) is a set \({\mathcal E}\) of subsets of \(\Omega\) \(({\mathcal E} \in {\mathcal P} (\Omega))\) such that 1) \(\Omega \in {\mathcal E}\), 2) \(x \in {\mathcal E} \Rightarrow \Omega \backslash x \in {\mathcal E}\), 3) \(x,y \in {\mathcal E}\), \(x \cap y = \emptyset \Rightarrow x \cup y \in {\mathcal E}\). The author studies the set of closed subsets of \({\mathcal P} (\Omega)\) for a finite set \(\Omega\) (closed with respect to the Galois correspondence with sets of charges on \({\mathcal P} (\Omega)\) equal to 0 on \(\Omega)\). He compares this set, the class of concrete logics, the class of concrete logics such that charges (measures extendible to charges, resp.) on them are extendible over \({\mathcal P} (\Omega)\), and the class of Boolean subalgebras of \({\mathcal P} (\Omega)\). Counterexamples for inclusions are given on a six-element set \(\Omega\).