Abstract
We establish that, in ZF (i.e., Zermelo–Fraenkel set theory minus the Axiom of Choice AC), the statement
RLT: Given a set I and a non-empty set \({\mathcal{F}}\) of non-empty elementary closed subsets of 2I satisfying the fip, if \({\mathcal{F}}\) has a choice function, then \({\bigcap\mathcal{F} \ne \emptyset}\),
which was introduced in Morillon (Arch Math Logic 51(7–8):739–749, 2012), is equivalent to the Boolean Prime Ideal Theorem (see Sect. 1 for terminology). The result provides, on one hand, an affirmative answer to Morillon’s corresponding question in Morillon (2012) and, on the other hand, a negative answer—in the setting of ZFA (i.e., ZF with the axiom of extensionality weakened to permit the existence of atoms)—to the question in Morillon (2012) of whether RLT is equivalent to Rado’s selection lemma.
Similar content being viewed by others
References
Gottschalk W.: Choice functions and Tychonoff’s theorem. Proc. Am. Math. Soc. 2, 172 (1951)
Hall E.J., Keremedis K., Tachtsis E.: The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters. Math. Logic Q. 59(4–5), 258–267 (2013)
Howard P.E.: Rado’s selection lemma does not imply the boolean prime ideal theorem. Zeitschr. f. math. Logik und Grundlagen d. Math. 30, 129–132 (1984)
Howard, P., Rubin, J.E.: Consequences of the Axiom of Choice. Mathematical Surveys and Monographs, vol. 59. American Mathematical Society, Providence (1998). (http://www.consequences.emich.edu/conseq.htm is the website of the AC project)
Jech, T.: The Axiom of Choice, Studies in Logic and the Foundations of Mathematics, vol. 75. North-Holland, Amsterdam (1973)
Keremedis K.: Tychonoff products of two-element sets and some weakenings of the boolean prime ideal theorem. Bull. Pol. Acad. Sci. Math. 53(4), 349–359 (2005)
Morillon M.: Some consequences of Rado’s selection lemma. Arch. Math. Logic 51(7–8), 739–749 (2012)
Mycielski J.: Two remarks on Tychonoff’s product Theorem. Bull. Acad. Polon. Sci. XII(8),439–441 (1964)
Rado R.: Axiomatic treatment of rank in infinite sets. Can. J. Math. 1, 337–343 (1949)
Rav Y.: Variants of Rado’s selection lemma and their applications. Math. Nachr. 79, 145–165 (1977)
Rice N.: A general selection principle with applications in analysis and algebra. Can. Math. Bull. 11, 573–584 (1968)
Wolk E.S.: On theorems of Tychonoff, Alexander, and R. Rado. Proc. Am. Math. Soc. 18, 113–115 (1967)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Howard, P., Tachtsis, E. On a variant of Rado’s selection lemma and its equivalence with the Boolean prime ideal theorem. Arch. Math. Logic 53, 825–833 (2014). https://doi.org/10.1007/s00153-014-0390-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-014-0390-y
Keywords
- Axiom of Choice
- Boolean prime ideal theorem
- Rado’s selection lemma
- Generalized Cantor cubes
- Compactness
- Fraenkel–Mostowski permutation models of ZFA