Form equivalence class Howard-Rubin Number: 245
Statement:
Every closed set \(A\) in \(\omega_1\) which contains only limit ordinals is a derivative (that is,
\(\exists B\subseteq \omega_{1}\) such that
\( A = \{x: x\) is a limit and \(\{t: t\in B\}\) is cofinal in \(x\}\)).
Howard-Rubin number: 245 B
Citations (articles):
Litman [1976]
The monadic theory of \(\omega_1\)
Connections (notes):
References (books):
Back