Statement:
\(EP\) sets: For every set \(A\) there is a projective set \(X\) and a function from \(X\) onto \(A\).
Howard_Rubin_Number: 192
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Unknown
Article Citations:
Book references
Note connections:
Note 60
Definitions from category theory
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 192 A | \((\forall x)(\exists y)(x\le^* y\) and \(y\) indexed choice holds). Blass in Mathias [1977b], note 69. |
Mathias [1977b]
Note [60] Note [69] |