User blog comment:Scorcher007/Large countable ordinal notation up to Z2 and ZFC/@comment-11227630-20190803082138/@comment-31580368-20190803113607

According to M. Srebrny 1973 Proof Theorem 4.10 , If we can construct an arithmetical copy Ea+a ∈ La+a+1, then we can construct an arithmetical copy Ea+a+1 ∈ La+a+2, then there must be an appropriate stable ordinal, possibly necessary to somehow redefine the notation.