User talk:Vel!/pu/Hyperdiagonalization

The limit of recursive notations is \(\omega_1^{\text{CK}}\);  even though \(\omega_1^{\text{CK}}\) is not itself recursive, every ordinal below it is, so \(\omega_1^{\text{CK}}\) is the limiting ordinal. So for Sam's Ordinals to be something different, you need to define a weaker system that doesn't reach as far. Without an explicit definition, it's not much use. Deedlit11 (talk) 06:47, March 29, 2017 (UTC)