Talk:Takeuti-Feferman-Buchholz ordinal

Is this ordinal comparable to \(\varpsi_{\Omega_\omega}(\Omega_1)\). Ikosarakt1 (talk ^ contribs) 19:40, March 30, 2013 (UTC)