All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 20:55, 30 August 2023 RhubarbJayde talk contribs created page Gandy ordinal (Created page with "For an ordinal \(\alpha\), let \(\delta(\alpha)\) be the supremum of the order-types of \(\alpha\)-recursive well-orderings on a subset of \(\alpha\). An ordinal \(\alpha\) is called Gandy if \(\delta(\alpha)\) is equal to the next admissible ordinal after \(\alpha\), i.e. \(\delta(\alpha) = \alpha^+\). For example, \(\omega\) is trivially Gandy, and in general, any ordinal below the least recursively inaccessible ordinal is Gandy. An ordinal which is not Gandy i...") Tag: Visual edit