User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180805015451/@comment-35470197-20180807012955

Anyway, how about a reference on the result of the proof theoretic ordinal? If \(\psi_{\Omega_1}(\varepsilon_{M+1}) < \psi_{\Omega_1}(\psi_{\chi_{\varepsilon_{M+1}}(0)}(0)) = \textrm{PTO}(\textrm{KPM})\) in Rathjen's OCF, then Deedlit's OCF is strictly stronger than Ratjen's, because it achieves \(\textrm{PTO}(\textrm{KPM})\) so quickly.