Boole become a renowned mathematician, logician and philosopher (despite no formal schooling) and his work served as the basis for modern computer science. His lasting theory, Boolean logic, is a ...

It is proved that the following conditions are equivalent: (a) there exists a complete, atomless, σ-centered Boolean algebra, which does not contain any regular, atomless, countable subalgebra, (b) ...