Ordinal collapsing function: Difference between revisions

Rathjen has remarked upon a small detail of various ordinal collapsing functions, which he calls pictorial collapse. In particular, he says that, in the OCF defined in the "History" section, \( \psi_\Omega(\alpha) \) can be viewed as the "\( \alpha \)th collapse of \( \Omega \)" since, as he puts it, the order-type of \( \Omega \) as viewed within \( C^\Omega(\alpha, \psi_\Omega(\alpha)) \) is actually \( \psi_\Omega(\alpha) \).<ref>M. Rathjen, Proof Theory (Stanford encyclopedia of Philosophy), special case of definition 5.11</ref> The same property applies to [[Buchholz's psi-functions]]<ref>W. Buchholz, ''A New System of Proof-Theoretic Ordinal Functions'', Annals of Pure and Applied Logic, vol. 32, pp.195-207, (1986)</ref>, Rathjen's OCF collapsing a [[Mahlo cardinal|weakly Mahlo cardinal]]<ref>Rathjen, Michael. "Ordinal Notations Based on a Weakly Mahlo Cardinal", Archive for Mathematical Logic 29 (1990) 249--263.</ref>, and Rathjen's OCF collapsing a [[weakly compact cardinal]].<ref>Rathjen, Michael. "Proof Theory of Reflection", Annals of Pure and Applied Logic 68, 181--224 (1994).</ref>