User talk:Ikosarakt1/Extension of traditional notations for non-recursive ordinals

You haven't said what does \(\theta_1(\Omega)\) actually mean. I guess this is limit of ordinals otherwise unaccesible by \(\theta_1(\alpha)\) for \(\alpha\) countable. Is that right? LittlePeng9 (talk) 15:52, April 24, 2013 (UTC)