Form equivalence class Howard-Rubin Number: 80
Statement:
\(UT(\aleph_0,2,\aleph_0)\): The union of denumerably many pairs is denumerable.
Howard-Rubin number: 80 A
Citations (articles):
Connections (notes):
References (books):