Form equivalence class Howard-Rubin Number:
1
Statement:
\(K(0)\): For every set \(S\) there is an ordinal \(\alpha\) and a one to one function \(f: S \rightarrow \alpha\). (See Form 81(\(n\))).
Howard-Rubin number:
1 E
Citations (articles):
Connections (notes):
References (books):
Back