scientific article; zbMATH DE number 1563692

From MaRDI portal
Publication:4528631





The Cohen algebra \({\mathcal C}_X\) is the Boolean algebra of regular open subsets of the generalized Cantor space \(\{0,1\}^X\). A category algebra is the direct sum of countably many Cohen algebras. This paper deals with the question whether a complete subalgebra of a category algebra is a category algebra. This can be reduced to the question whether a complete subalgebra of a Cohen algebra is a category algebra. It was shown by Koppelberg that this is true if \(|X|\leq\omega_1\), Later on it was shown by Koppelberg and Shelah that there exists (in ZFC) a subalgebra of \({\mathcal C}_{\omega_2}\) which is not a category algebra. Here the author gives a simplified presentation of the last result.











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 Q4528631)