User blog comment:Vel!/Ordinal Hyper-E/@comment-80.98.179.160-20171113172725

Is it possible to extend to even just ω1CK?

If so, then to the Church-Kleene Fixed Point (the first ordinal α that α=ωαCK)?

If so, then to Σζ (the supremum of all eventually accidentally writable ordinals)?