Some consequences of Rado’s selection lemma

Archive for Mathematical Logic 51 (7-8):739-749 (2012)
  Copy   BIBTEX


We prove in set theory without the Axiom of Choice, that Rado’s selection lemma (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{RL}}$$\end{document}) implies the Hahn-Banach axiom. We also prove that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{RL}}$$\end{document} is equivalent to several consequences of the Tychonov theorem for compact Hausdorff spaces: in particular, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{RL}}$$\end{document} implies that every filter on a well orderable set is included in a ultrafilter. In set theory with atoms, the “Multiple Choice” axiom implies \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{RL}}$$\end{document}.



    Upload a copy of this work     Papers currently archived: 92,075

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Canonical partition relations.James E. Baumgartner - 1975 - Journal of Symbolic Logic 40 (4):541-554.
Π01-classes and Rado's selection principle.C. G. Jockusch, A. Lewis & J. B. Remmel - 1991 - Journal of Symbolic Logic 56 (2):684 - 693.
Operant behavior and the thesis of “selection by consequences”.J. Moore - 2001 - Behavioral and Brain Sciences 24 (3):546-547.
Erdös-Rado without Choice.Thomas Forster - 2007 - Journal of Symbolic Logic 72 (3):897 - 900.
Some new intuitionistic equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
The non-existence of a principle of natural selection.Abner Shimony - 1989 - Biology and Philosophy 4 (3):255-273.
Selection: Information and replication of the operant.Ralph Spiga - 2001 - Behavioral and Brain Sciences 24 (3):556-557.
A more pluralist typology of selection processes.Bence Nanay - 2001 - Behavioral and Brain Sciences 24 (3):547-548.
Multi-level selection, covariance and contextual analysis.Samir Okasha - 2004 - British Journal for the Philosophy of Science 55 (3):481-504.


Added to PP

33 (#485,571)

6 months
24 (#117,125)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Three-space type Hahn-Banach properties.Marianne Morillon - 2017 - Mathematical Logic Quarterly 63 (5):320-333.

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
The Axiom of Choice.Thomas J. Jech - 1973 - Amsterdam, Netherlands: North-Holland.
Definability of measures and ultrafilters.David Pincus & Robert M. Solovay - 1977 - Journal of Symbolic Logic 42 (2):179-190.
Rado's selection lemma does not imply the Boolean prime ideal theorem.Paul E. Howard - 1984 - Mathematical Logic Quarterly 30 (9‐11):129-132.
Rado's selection lemma does not imply the Boolean prime ideal theorem.Paul E. Howard - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (9-11):129-132.

View all 6 references / Add more references