Form equivalence class Howard-Rubin Number: 144
Statement: Set Induction Principle. If \(X\subseteq \cal P(S)\) contains all finite subsets of \(S\) and forevery subset \(Y\subseteq X\) such that \(Y\) is well orderedby \(\subseteq\), \(\bigcup Y\in X\)(such an \(X\) is called \(\cal W\)-inductive in Ern\'e [2000])then \(S\in X\). Ern\'e [2000], notes 154 and 156.
Howard-Rubin number: 144 B
Citations (articles):
Connections (notes):
References (books):
Back