Aleph fixed point: Difference between revisions

An aleph fixed point, also referred to as an omega fixed point (OFP), is a fixed point of the function \(f(\alpha) = \aleph_\alpha\). In other words, it is a cardinal \(\kappa\) so that \(\aleph_\kappa = \kappa\). The existence of such a \(\kappa\) is guaranteed by the axioms of infinity, powerset and replacement combined with Veblen's fixed point lemma, and therefore it is provable in [[ZFC]]. Aleph fixed points are large in that they are unreachable from below via the aleph operator. However, it is possible that the number of real numbers is an aleph fixed point, or more. Furthermore, the least aleph fixed point has cofinality \(\omega\), which follows from the [[Normal function|normality]] of \(f(\alpha) = \aleph_\alpha\). A regular aleph fixed point is precisely a [[Inaccessible cardinal|weakly inaccessible cardinal]], and, therefore, the [[large cardinal]] hierarchy is beyond the notion of aleph fixed points, the fixed points of their enumeration, and so on, since those can all be proven to exist and are less than the least weakly inaccessible cardinal, if it exists.