User blog comment:Emlightened/Early Birthday Present For Deedlit/@comment-30118230-20180212120953

Sorry for such a late reply to an old blog post but I didn't really look into this back when you first uploaded it.

Does $$\Omega^+$$ denote the least admissible ordinal above $$\Omega$$ or is it simply a notion for some diagonalizer you use in the function?

Is your notation stronger or equivalent to Deedlit's?

If it is stronger, and $$\Omega^+$$ denotes the next admissible above $$\Omega$$, then your notation might be equivalent to Taranovsky's "Degrees of Reflection" C.

If any of the above is false (or all), then it's significantly weaker.