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

Could you clarify? It appears that Jech is using at least (k+1) unbounded quantifier alterations to define the predicate for Σ_k.