Abstract
It is shown that in ZF Martin's $ \aleph_{0}^{}$-axiom together with the axiom of countable choice for finite sets imply that arbitrary powers 2X of a 2-point discrete space are Baire; and that the latter property implies the following: (a) the axiom of countable choice for finite sets, (b) power sets of infinite sets are Dedekind-infinite, (c) there are no amorphous sets, and (d) weak forms of the Kinna-Wagner principle.
Citation
Horst Herrlich. Kyriakos Keremedis. "Powers of 2." Notre Dame J. Formal Logic 40 (3) 346 - 351, Summer 1999. https://doi.org/10.1305/ndjfl/1022615615
Information