Statement:
\(C(2^{\aleph_{0}},\subseteq{\Bbb R})\): If \(R\) is a relation on \({\Bbb R}\) such that for all \(x\in{\Bbb R}\), there is a \(y\in{\Bbb R}\) such that \(x\mathrel R y\), then there is a function \(f: {\Bbb R} \rightarrow{\Bbb R}\) such that for all \(x\in{\Bbb R}\), \(x\mathrel R f(x)\).
Howard_Rubin_Number: 212
Parameter(s): This form does not depend on parameters
This form's transferability is: Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Book references
Note connections: