Form equivalence class Howard-Rubin Number:
1
Statement:
Form 191 + Form 8 + Form 193. Note 60.
Howard-Rubin number:
1 AF
Citations (articles):
Blass [1979]
Injectivity, projectivity and the axiom of choice
Connections (notes):
References (books):
Back