Determinateness and continuity
Author: Andreas Blass
Journal: Proc. Amer. Math. Soc. 37 (1973), 572-574
MSC: Primary 02K10; Secondary 26A15, 90D05
MathSciNet review: 0485364
Abstract: The axiom of determinateness is equivalent to the statement that, for every binary relation on the Cantor set, either the converse or the complement of the relation includes the graph of a continuous map of the Cantor set into itself.
-  Harvey M. Friedman, Higher set theory and mathematical practice, Ann. Math. Logic 2 (1970/1971), no. 3, 325–357. MR 0284327, https://doi.org/10.1016/0003-4843(71)90018-0
-  Jan Mycielski, On the axiom of determinateness, Fund. Math. 53 (1963/1964), 205–224. MR 0161787, https://doi.org/10.4064/fm-53-2-205-224