Boolean algebras in algebraic topology