scientific article; zbMATH DE number 1137952
For a Boolean algebra \(A\), let \(\text{Sub}(A)\) denote the sublattice of all subalgebras of \(A\) endowed by the topology whose subbase is \[ \{\{C\in \text{Sub}(A);a\in C\},\{C\in \text{Sub} (A);a\notin C\};a\in A\}. \] It is proved that a Boolean algebra \(A\) is countable if and only if \(\text{Sub}(A)\) has a continuous complementation. As a consequence we obtain that a compact zero-dimensional topological space is metrizable if and only if there is a continuous mapping \(f:X\times \text{exp}(X)\rightarrow X\) such that \(f(x,Y)\in Y\) for all \(x\in X\) and all \(Y\subseteq X\); \(f(y,Y)=y\) for all \(y\in Y\subseteq X\).
- Complements and quasicomplements in the lattice of subalgebras of \(P(\omega)\)
- Some notes concerning the homogeneity of Boolean algebras and Boolean spaces
- On countably closed complete Boolean algebras
- Graph Spaces and ⊥-Free Boolean Algebras
- A Note on Boolean Algebras with Few Partitions Modulo some Filter
- Some forcing related convergence structures on complete Boolean algebras
- A thin-tall Boolean algebra which is isomorphic to each of its uncountable subalgebras
- Functional reducts of the countable atomless Boolean algebra
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4383368)
