Form equivalence class Howard-Rubin Number: 43
Statement: If \(S\) is a relation on \(A\) such that\((\forall x \in A)( \exists y \in A)(x \mathrel S y)\) and \(x_0\) is anyelement of A, then there is a sequence \(a(1),a(2),\ldots \) ofelements of \(A\) such that \(a(n) \mathrel S a(n+1)\) for all\(n \in \omega \) and such that \(a(0) = x_0\). Notes 101 and 54.
Howard-Rubin number: 43 S
Citations (articles):
Connections (notes):
References (books):
Back