Statement:
\(DCR\): Dependent choice for relations on \(\Bbb R\): If \(R\subseteq\Bbb R\times\Bbb R\) satisfies \((\forall x\in \Bbb R)(\exists y\in\Bbb R)(x\mathrel R y)\) then there is a sequence \(\langle x(n): n\in\omega\rangle\) of real numbers such that \((\forall n\in\omega)(x(n)\mathrel R x(n+1))\).
Howard_Rubin_Number: 211
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:
Mathias-1977a: Happy families
Book references
Note connections: