All public logs
Jump to navigation
Jump to search
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).
- 01:35, 31 August 2023 EricABQ talk contribs created page Extended Buchholz's function (Redirected page to Buchholz's psi-functions#Extension) Tag: New redirect
- 19:44, 19 September 2022 EricABQ talk contribs created page Omega^2 (Created page with "The ordinal \( \omega^2 \) is the least ordinal which is a limit of limit ordinals. It is also the growth rate of Conway chained arrows in the fast-growing hierarchy.")
- 19:41, 19 September 2022 EricABQ talk contribs created page Ordinal (Created page with "In set theory, the '''ordinal numbers''' or '''ordinals''' are an extension of the natural numbers that describe the order types of well-ordered sets. A set \( S \) is '''well-ordered''' if each non-empty \( T \subseteq S \) has a least element. ==Von Neumann definition== The Von Neumann definition of ordinals defines ordinals as objects in ZFC. Each ordinal \( \alpha \) is defined as the set of all ordinals less than \( \alpha \).")
- 19:36, 19 September 2022 EricABQ talk contribs created page Cantor normal form (Created page with "'''Cantor normal form''' is a standard form of writing ordinals. Every ordinal \( \alpha \) can be written uniquely as \( \omega^{\beta_1} + \omega^{\beta_2} + \dots + \omega^{\beta_k} \), where \( \beta_1 \ge \beta_2 \ge \dots \ge \beta_k \) and \( k \ge 0 \) is an integer. When \( \alpha \) is smaller than \( \varepsilon_0 \), the exponents \( \beta_1 \) through \( \beta_k \) are all smaller than \( \alpha \). Thus, Cantor normal form can be iterated to form a notatio...")
- 19:40, 31 August 2022 User account EricABQ talk contribs was created automatically