Form equivalence class Howard-Rubin Number: 426
Statement:
The conjunction of Form 76 (\(MC_\omega(\infty,\infty)\)) and Form 8 (\(C(\aleph_0,\infty)\)).
Howard-Rubin number: 426 A
Citations (articles):
Gutierres [2004]
On first and second countable spaces and the axiom of choice
Connections (notes):
References (books):
Back