File:MathFoundations183 Limit levels and self-similarity in the successor-limit hierarchy