Kelley's specialization of Tychonoff's Theorem is equivalent to the Boolean Prime Ideal Theorem
Tom 189 / 2006
Fundamenta Mathematicae 189 (2006), 285-288
MSC: Primary 03E25.
DOI: 10.4064/fm189-3-5
Streszczenie
The principle that “any product of cofinite topologies is compact” is equivalent (without appealing to the Axiom of Choice) to the Boolean Prime Ideal Theorem.
