User:Hyp cos/Catching Function Analysis p3

Go to page 1,2,3

Welcome to Catching hierarchy II - from now on I use function C1, C2, etc. Its definition is given here, but I don't want to run into large cardinals such as weakly inaccessibles, Mahlos and weakly compacts. Instead, I use a modified R-function-look notation.