Form equivalence class Howard-Rubin Number:
32
Statement:
\(PC(\aleph_0,\aleph_0,\infty)\): Every denumerable
set of denumerable sets has an infinite subset with a choice function.
Howard-Rubin number:
32 B
Citations (articles):
Connections (notes):
References (books):
Back