Form equivalence class Howard-Rubin Number: 245
Statement:
There is a function \(g : \omega_1\rightarrow \omega^{\omega}_1\) such that for all limit ordinals \(\alpha < \omega_1\), \(g(\alpha)\) is an increasing function from \(\omega\) into \(\alpha\) with the range of \(g\) cofinal in \(\alpha\).
Howard-Rubin number: 245 A
Citations (articles):
Litman [1976]
The monadic theory of \(\omega_1\)
Connections (notes):
References (books):
Back