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