User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-26428969-20160224150404

there is a problem in your definitions you are talking of the *SET* {y: Phi(a,y) = y}, but since it is a normal function this is a proper class, too large to be a mere set