Form equivalence class Howard-Rubin Number: 192
Statement:
\((\forall x)(\exists y)(x\le^* y\) and \(y\) indexed choice holds). Blass in Mathias [1977b], note 69.
Howard-Rubin number: 192 A
Citations (articles):
Mathias [1977b]
The real line and the universe
Connections (notes):
Note [60]
Definitions from category theory
Note [69]
References (books):
Back