User blog comment:Bubby3/BMS controversy/@comment-35470197-20181227221000

Another point is that "beyond weakly compact cardinals" is too ambiguous. Do you use Rathjen's standard OCF? Many googologists use "an OCF which looks like Rathjen's one and which they expect it to be the same strength without reasons" or "an OCF-like stuff which just has a placeholder \(K\)". Such alternatives can bemuch weaker than the original one, because the weak compactness of a cardinal is a quite sentitive property. The same issue can occur for weakly Mahlo cardinals.