User contributions for RhubarbJayde
A user with 299 edits. Account created on 28 August 2023.
30 August 2023
- 11:5411:54, 30 August 2023 diff hist +39 N Stongly critical ordinal RhubarbJayde moved page Stongly critical ordinal to Strongly critical ordinal: typo, I'm so stupid Tag: New redirect
- 11:5411:54, 30 August 2023 diff hist 0 m Strongly critical ordinal RhubarbJayde moved page Stongly critical ordinal to Strongly critical ordinal: typo, I'm so stupid current
- 11:4511:45, 30 August 2023 diff hist +35 N Church kleene ordinal Redirected page to Church-Kleene ordinal current Tags: New redirect Visual edit
- 11:4311:43, 30 August 2023 diff hist +1,616 N Bird ordinal Created page with "The Bird ordinal (sometimes called Bird's ordinal) is an intermediate ordinal between the Takeuti-Feferman-Buchholz ordinal and Extended Buchholz ordinal which occurs occasionally in apeirological notations such as BMS. It was named by the apeirological community in honor of Chris Bird. This is because it is believed to correspond to the limit of his final system of array notations, and thus the growth rate of a natural extension of his..." Tag: Visual edit
- 11:3111:31, 30 August 2023 diff hist +35 N BMS Redirected page to Bashicu matrix system current Tags: New redirect Visual edit
- 11:3111:31, 30 August 2023 diff hist 0 Extended Buchholz ordinal No edit summary Tag: Visual edit
- 11:3111:31, 30 August 2023 diff hist +998 N Extended Buchholz ordinal Created page with "The Extended Buchholz ordinal, sometimes known as OFP (short for omega-fixed-point), is the limit of an extension of Buchholz's original set of ordinal collapsing functions, defined by Denis Maksudov, which allows to collapse ordinals such as \( \Omega_{\omega + 1} \) (which corresponds to the Takeuti-Feferman-Buchholz ordinal), \( \Omega_{\omega^2} \) (which is believed to correspond to the BMS matrix (0,0,0)(1,1,1)(2,1,1)), or \( \Omega_{\..." Tag: Visual edit
- 11:2811:28, 30 August 2023 diff hist +26 N Bird's ordinal Redirected page to Bird ordinal current Tags: New redirect Visual edit
- 11:2711:27, 30 August 2023 diff hist +952 N Takeuti-Feferman-Buchholz ordinal Created page with "The Takeuti-Feferman-Buchholz ordinal, commonly abbreviated as TFBO, is the full limit of Buchholz's original set of ordinal collapsing functions. This name was assigned by David Madore in his "Zoo of Ordinals".<ref>A Zoo of Ordinals, David A. Madore, July 29 2017</ref> It is not particularly vastly larger than the Buchholz ordinal, although one could comparatively describe the difference in size as like that between \( \varepsilon_0 \) and the ..." Tag: Visual edit
- 11:1711:17, 30 August 2023 diff hist +39 N Extended buchholz ordinal Redirected page to Extended Buchholz ordinal current Tags: New redirect Visual edit
- 11:1611:16, 30 August 2023 diff hist +37 N Bachmann howard ordinal Redirected page to Bachmann-Howard ordinal current Tags: New redirect Visual edit
- 11:1511:15, 30 August 2023 diff hist +34 N Large veblen ordinal Redirected page to Large Veblen ordinal current Tags: New redirect Visual edit
- 11:1511:15, 30 August 2023 diff hist +34 N Small veblen ordinal Redirected page to Small Veblen ordinal current Tags: New redirect Visual edit
- 11:1411:14, 30 August 2023 diff hist +633 Veblen hierarchy No edit summary Tag: Visual edit
- 11:1111:11, 30 August 2023 diff hist +30 N Feferman-Schütte ordinal Redirected page to Veblen hierarchy current Tags: New redirect Visual edit
- 11:1111:11, 30 August 2023 diff hist +30 N Feferman-Schutte ordinal Redirected page to Veblen hierarchy current Tags: New redirect Visual edit
- 11:1111:11, 30 August 2023 diff hist +30 N Feferman-schutte ordinal Redirected page to Veblen hierarchy current Tags: New redirect Visual edit
- 11:0411:04, 30 August 2023 diff hist +12 Buchholz ordinal No edit summary Tag: Visual edit
- 11:0311:03, 30 August 2023 diff hist +742 N Buchholz ordinal Created page with "The Buchholz ordinal is the limit of Wilfried Buchholz's original set of ordinal collapsing functions, with finite indices, and is equal to the limit of the sequence \( \omega \), \( \varepsilon_0 \), \( \mathrm{BHO} \), \( \psi_0(\Omega_3) \), ... - i.e. it is equal to \( \psi_0(\Omega_\omega) \). It is also equal to the proof-theoretic ordinal of second-order arithmetic with comprehension restricted to \(\Pi^1_1\)-formulae, or of Peano arith..." Tag: Visual edit
- 10:5210:52, 30 August 2023 diff hist +127 Bachmann-Howard ordinal No edit summary Tag: Visual edit
- 10:5110:51, 30 August 2023 diff hist +34 N Dimensional Veblen Redirected page to Large Veblen ordinal current Tags: New redirect Visual edit
- 10:5110:51, 30 August 2023 diff hist +802 N Bachmann-Howard ordinal Created page with "The Bachmann-Howard ordinal is a key milestone in the set of recursive ordinals. It is equal to the limit of the dimensional Veblen function, as well as the Buchholz hydra with only zero and one labels. It was originally discovered as the limit of a basic ordinal collapsing function, namely Bachmann's psi, which was used in ordinal-analysis. In particular, the Bachmann-Howard ordinal is exactly the proof-theoretic ordinal of basic Kripke-Platek s..." Tag: Visual edit
- 10:4610:46, 30 August 2023 diff hist +280 Large Veblen ordinal No edit summary Tag: Visual edit
- 10:4410:44, 30 August 2023 diff hist +825 N Large Veblen ordinal Created page with "The large Veblen ordinal is a large extension of the small Veblen ordinal. By using an entry-indexing notation (formally defined via finitely-supported ordinal functions), it is possible to further extend the multi-variable version of the Veblen hierarchy used to define the small Veblen ordinal to an array-like system with infinitely long arrays. In particular, the small Veblen ordinal can be denoted by \( \varphi(1,...,0,0) \), with \( \omega \) many zeroes. The..." Tag: Visual edit
- 10:4010:40, 30 August 2023 diff hist +34 N SVO Redirected page to Small Veblen ordinal current Tags: New redirect Visual edit
- 10:3910:39, 30 August 2023 diff hist +854 N Small Veblen ordinal Created page with "The Small Veblen ordinal is the limit of a finitary, variadic extension of the Veblen hierarchy. In particular, after the basic stage \( \varphi(\alpha, \beta) \), one lets \( \varphi(1,0,\alpha) \) enumerate fixed points of \( \beta \mapsto \varphi(\beta,0) \) - i.e. strongly critical ordinals - followed by \( \varphi(1,1,\alpha) \) enumerating its fixed points, and so on. The Small Veblen ordinal, very commonly abbreviated to SVO, is the least..." Tag: Visual edit
- 10:3310:33, 30 August 2023 diff hist +518 Veblen hierarchy No edit summary Tag: Visual edit
- 10:3110:31, 30 August 2023 diff hist +30 N Gamma numbers Redirected page to Veblen hierarchy current Tags: New redirect Visual edit
- 10:3010:30, 30 August 2023 diff hist +29 N Zeta zero Redirected page to Epsilon numbers current Tags: New redirect Visual edit
- 10:3010:30, 30 August 2023 diff hist +29 N Epsilon naught Redirected page to Epsilon numbers current Tags: New redirect Visual edit
- 10:3010:30, 30 August 2023 diff hist +29 N Epsilon zero Redirected page to Epsilon numbers current Tags: New redirect Visual edit
- 10:2910:29, 30 August 2023 diff hist +29 N Zeta numbers Redirected page to Epsilon numbers current Tags: New redirect Visual edit
- 10:2910:29, 30 August 2023 diff hist +30 N Strongly critical ordinal Redirected page to Veblen hierarchy Tags: New redirect Visual edit
- 10:2810:28, 30 August 2023 diff hist +30 N Stongly critical Redirected page to Veblen hierarchy current Tags: New redirect Visual edit
- 10:2710:27, 30 August 2023 diff hist +197 Natural numbers No edit summary Tag: Visual edit
29 August 2023
- 19:2619:26, 29 August 2023 diff hist +4,543 Ordinal No edit summary Tag: Visual edit
- 18:2218:22, 29 August 2023 diff hist +1,057 N Weakly compact cardinal Created page with "A weakly compact cardinal is a certain kind of large cardinal. They were originally defined via a certain generalization of the compactness theorem for first-order logic to certain infinitary logics. However, this is a relatively convoluted definition, and there are a variety of equivalent definitions. These include, letting \(\kappa\) be the cardinal in question and assuming \(\kappa^{< \kappa} = \kappa\): * \(\kappa\) is 0-Ramsey. * \(\kappa\) is \(\Pi^1_1\)-indes..." Tag: Visual edit
- 18:1418:14, 29 August 2023 diff hist +3 List of ordinals No edit summary Tag: Visual edit
- 18:1018:10, 29 August 2023 diff hist +880 List of ordinals No edit summary Tag: Visual edit
- 17:5517:55, 29 August 2023 diff hist +247 Infinite time Turing machine No edit summary Tag: Visual edit
28 August 2023
- 17:4217:42, 28 August 2023 diff hist +473 N Patterns of resemblance Created page with "The patterns of resemblance (PoR) are a system of ordinal-notations introduced by TJ Carlson. It is superficially similar to stability, yet is a notation for recursive rather than nonrecursive ordinals, and uses elementary substructures between ordinals themselves, instead of between ranks of the constructible universe. It uses a structure also found in BMS known as respecting forests, and was originally believed to have the same limit as BMS." Tag: Visual edit
- 15:5515:55, 28 August 2023 diff hist +606 Veblen hierarchy No edit summary Tag: Visual edit
- 15:3815:38, 28 August 2023 diff hist +1,056 Epsilon numbers No edit summary Tag: Visual edit
- 15:2315:23, 28 August 2023 diff hist +121 Omega No edit summary Tag: Visual edit
- 15:2115:21, 28 August 2023 diff hist +26 N Uncountable Redirected page to Countability current Tags: New redirect Visual edit
- 15:2115:21, 28 August 2023 diff hist +2,075 N Countability Created page with "Countability is a key notion in set theory and apeirology. A set is called countable if it has the same size as the set of the natural numbers. The way this is formally defined is that there is a map \( f: x \to \mathbb{N} \), where \( x \) is the set in question, so that different elements of \( x \) are sent to different natural numbers, and every natural number has some element of \( x \) sent to it. Georg Cantor, the founder of set theory, proved that the set of inte..." Tag: Visual edit
- 15:1115:11, 28 August 2023 diff hist +94 List of ordinals No edit summary Tag: Visual edit
- 12:4912:49, 28 August 2023 diff hist +4,943 N Large cardinal Created page with "Large cardinals are cardinals typically defined as satisfying certain combinatorial or reflection-type properties. Their existence is asserted by various large cardinal axioms, which are usually unprovable in \( \mathrm{ZFC} \), assuming its consistency. This is because almost all large cardinals, if they exist, are worldly: a worldly cardinal is a \( \kappa \) so that \( V_\kappa \) satisfies ZFC, and thus Gödel's second incompleteness theorem applies. Due to issues..." current Tag: Visual edit
- 11:5511:55, 28 August 2023 diff hist +537 List of ordinals No edit summary Tag: Visual edit
- 11:4511:45, 28 August 2023 diff hist +571 N User:RhubarbJayde Added my profile current Tag: Visual edit