Is ZF consistent with "any compact Hausdorff extremally disconnected topological space is finite?"
(Motivation: it is a theorem that a compact Hausdorff extremally disconnected space is a retract of a Stone-Cech compactification of a discrete set. Now Stone-Cech compactifications depend on choice, and I believe (but am not sure) it's consistent with ZF that there exists a discrete space without a Stone-Cech compactification.)
Best Answer
Yes, it is consistent with ZF that all compact Hausdorff extremally disconnected spaces are finite. In Paul Howard and Jean E. Rubin's Consequences of the Axiom of Choice this is given as Form 371
The reference they give for this is
I have been unable to find this paper, but the zbMath review of the paper by Alan Dow gives an overview of its contents: