Ordinal notation

An ordinal collapsing function (OCF) is a method of naming large ordinals using even larger ones. More specifically, ordinal collapsing functions take the structures found in large (often uncountable) ordinals and mirror those structures onto smaller ordinals. OCFs are employed as notations for large recursive ordinals, for which they have the most relevance to googology.

There are many OCFs in use, often similar to each other and easily confused (some even use the same symbols), but most are nearly or exactly equal. Popular systems include Pohler's \(\psi\), Feferman's \(\theta\) and its variant \(\vartheta\), and Buchholz's extension of Pohler's \(\psi\).