User blog comment:P進大好きbot/New Googological Ruler/@comment-39605890-20191208005500/@comment-35470197-20191209025722

Sorry, the explicit formula in Jech was actually Σ_{k+1} as you point out. (To clarify, we agree with that we do not need Σ_{k+10}, right?) But in p.200, it is written that Levy defined it as a Σ_k formular for the case k > 0, and hence I comfounded the construction in Jech with Levy's original predicate. Please tell me if I misunderstood the statement.