User blog comment:Ikosarakt1/Fast-growing hierarchy/@comment-157.193.53.9-20130620180435/@comment-5529393-20130628035536

Thanks a lot for the papers, unfortunately I can't read German but I appreciate the effort.

In your IDprecneu.pdf paper, does the notation in section 2 go up to (\theta(\Omega_{\Omega_{\Omega...}}, 0)\)? I have a problem with the fundamental sequences again; it doesn't seem to cover all possibilities. Rule 6 requires \(\omega \le tp(a) \le \Omega_s\), and rule 7 requires that \(\Omega_s < tp(a) = \Omega_{u+1}\), so there doesn't seem to be a rule where \(\Omega_s < tp(a) = \Omega_u\), where u is a limit ordinal. So, for example, there doesn't seem to be a rule for \(\psi_0 (\Omega_\omega)\).

An e-lecture sounds great!