Aleph fixed point: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

25 March 2024

3 September 2023

  • curprev 17:4617:46, 3 September 2023RhubarbJayde talk contribs 1,334 bytes +1,334 Created page with "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..." Tag: Visual edit