User:Alemagno12/Stability OCF and its analysis with BMS

NOTE: The strength of the stable ordinals that are being collapsed is derived from an intuitive analysis - other stability OCFs like that of Rathjen might collapse these ordinals in a weaker or stronger way.

Π_1-reflection
We start with the fact that recursively inaccessible cardinals are the same as Π1-reflecting cardinals.

Define a function wcof from ordinals to ordinals as follows:
 * wcof(0) = 0
 * wcof(1) = 1
 * wcof(x+y) = wcof(y)
 * wcof(y) = 0: wcof(x*y) = wcof(xy) = wcof(x)
 * wcof(y) > 0: wcof(x*y) = wcof(xy) = wcof(y)
 * [WIP]