User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-30004975-20180129211630

Is \(\Psi_{I(1,0)}(0,0)\) defined? It seems to me that the output would have to be at least \(I(1,0)+1\) for \(I(1,0)\) to be constructible, but the output must be less than \(I(1,0)\).