Form equivalence class Howard-Rubin Number:
18
Statement:
PUT(\(\aleph_0\),2,WO): The union of adenumerable family of pairs has an infinite well ordered subset. (18 \(\to\) [18 B] \(\to\)[18 A])
Howard-Rubin number:
18 B
Citations (articles):
Connections (notes):
References (books):
Back