User blog comment:P進大好きbot/Full References of Arguments on Ordinal Notations with Large Cardinals/@comment-27513631-20180805145552/@comment-35470197-20180807231208

> Edit: It's stated on [1], if you want to look through the citations on that page.

You know that nlab contains several mistakes, or badly copies in a single context distinct books with distinct conventions. Therefore nlab is not a precise reference, as wikipedia is not.

I would like to know peer-reviewed references. For example, the nlab page listed up the references of Rathjen's papers related to the analysis. On the other hand, the result written in them is not the equality \(\textrm{PTO}(\textrm{KPM}) = \psi_{\Omega_1}(\varepsilon_{M+1})\) but is the equality \(\textrm{PTO}(\textrm{KPM}) = \psi_{\Omega_1}(\psi_{\chi_{\varepsilon_{M+1}}(0)}(0))\), as I wrote in my blog post. So it is actually not the reference of the statement.