User contributions for RhubarbJayde
A user with 299 edits. Account created on 28 August 2023.
31 August 2023
- 12:4612:46, 31 August 2023 diff hist +24 N Admissible ordinal Redirected page to Admissible current Tags: New redirect Visual edit
- 12:4512:45, 31 August 2023 diff hist +4 Normal function No edit summary Tag: Visual edit
- 12:4412:44, 31 August 2023 diff hist +30 N The veblen hierarchy Redirected page to Veblen hierarchy current Tags: New redirect Visual edit
- 12:4412:44, 31 August 2023 diff hist +48 N Extended buchholz psi Redirected page to Buchholz's psi-functions#Extension current Tags: New redirect Visual edit
- 12:4212:42, 31 August 2023 diff hist +26 N Countable Redirected page to Countability current Tags: New redirect Visual edit
- 12:4012:40, 31 August 2023 diff hist +409 Fixed point No edit summary current Tag: Visual edit
- 12:3912:39, 31 August 2023 diff hist +42 N Ordinal exponentiation Redirected page to Ordinal#Ordinal arithmetic current Tags: New redirect Visual edit
- 12:3812:38, 31 August 2023 diff hist +42 N Ordinal product Redirected page to Ordinal#Ordinal arithmetic current Tags: New redirect Visual edit
- 12:3812:38, 31 August 2023 diff hist 0 Ordinal sum Changed redirect target from Ordinal#ordinal arithmetic to Ordinal#Ordinal arithmetic current Tags: Redirect target changed Visual edit
- 12:3812:38, 31 August 2023 diff hist +42 N Ordinal sum Redirected page to Ordinal#ordinal arithmetic Tags: New redirect Visual edit
- 12:3712:37, 31 August 2023 diff hist +126 Finite No edit summary Tag: Visual edit
- 12:3412:34, 31 August 2023 diff hist +70 Admissible No edit summary Tag: Visual edit
- 12:3212:32, 31 August 2023 diff hist +21 N Order type Redirected page to Ordinal current Tags: New redirect Visual edit
- 12:3212:32, 31 August 2023 diff hist +22 N Cardinality Redirected page to Cardinal current Tags: New redirect Visual edit
- 12:3112:31, 31 August 2023 diff hist +24 Zero sharp No edit summary Tag: Visual edit
- 12:3012:30, 31 August 2023 diff hist +3,649 N Zero sharp Created page with "Zero sharp is a sharp for the constructible universe \(L\), which is of importance in inner model theory. Zero sharp, denoted \(0^\sharp\), if it exists, is a real number which encodes information about indiscernibles in the constructible universe. In particular, "\(0^\sharp\) exists" is the assertion that there is a unique class \(I\) of ordinals which is club in \(\mathrm{Ord}\), containing all uncountable cardinals so that, for every un..." Tag: Visual edit
- 11:2811:28, 31 August 2023 diff hist +30 Kripke-Platek set theory No edit summary Tag: Visual edit
- 11:2711:27, 31 August 2023 diff hist +17 N Zermelo-Fraenkel set theory with choice Redirected page to ZFC current Tags: New redirect Visual edit
- 11:2711:27, 31 August 2023 diff hist +17 N Zermelo-Fraenkel set theory Redirected page to ZFC current Tags: New redirect Visual edit
- 11:2611:26, 31 August 2023 diff hist +17 N Zermelo-Fraenkel choice Redirected page to ZFC current Tags: New redirect Visual edit
- 11:2611:26, 31 August 2023 diff hist +17 N Zermelo-Fraenkel with choice Redirected page to ZFC current Tags: New redirect Visual edit
- 11:2611:26, 31 August 2023 diff hist +17 N Zermelo-Fraenkel Redirected page to ZFC current Tags: New redirect Visual edit
- 11:2511:25, 31 August 2023 diff hist +17 N ZF Redirected page to ZFC current Tags: New redirect Visual edit
- 11:2511:25, 31 August 2023 diff hist +2,588 N ZFC Created page with "ZFC (Zermelo-Fraenkel with choice) is the most common axiomatic system for set theory, which provides a list of 9 basic assumptions of the set-theoretic universe, sufficient to prove everything in mainstream mathematics, as well as being able to carry out ordinal-analyses of weaker systems such as KP and Z2. The axioms are the following: * Axiom of extensionality: two sets are the same if and only if they have the..." Tag: Visual edit
- 11:2211:22, 31 August 2023 diff hist +37 N Z2 Redirected page to Second-order arithmetic current Tags: New redirect Visual edit
- 11:1311:13, 31 August 2023 diff hist −4 Kripke-Platek set theory No edit summary Tag: Visual edit
- 11:1311:13, 31 August 2023 diff hist +38 N KP Redirected page to Kripke-Platek set theory current Tags: New redirect Visual edit
- 11:0911:09, 31 August 2023 diff hist +807 Constructible hierarchy →Alternate characterisations Tag: Visual edit
- 11:0611:06, 31 August 2023 diff hist +59 Constructible hierarchy →Alternate characterisations Tag: Visual edit
- 11:0511:05, 31 August 2023 diff hist −3 Constructible hierarchy →Alternate characterisations Tag: Visual edit
- 11:0511:05, 31 August 2023 diff hist +9,127 N Constructible hierarchy Created page with "The constructible hierarchy is a way of "building up" the constructible universe, the smallest ideal model of set theory which contains the ordinals. Therefore, it is important in inner model theory, as well as in the study of \(\alpha\)-recursion theory, stability, Gandy ordinals and reflection principles. == Definition == Say a subset \(X\) of \(Y\) is definable if there are some \(z_0, z_1, \cdots, z_n \i..." Tag: Visual edit
- 09:5409:54, 31 August 2023 diff hist +43 Mahlo cardinal →Ord is Mahlo current Tag: Visual edit
- 09:2509:25, 31 August 2023 diff hist −19 Reflection principle No edit summary Tag: Visual edit
30 August 2023
- 21:0921:09, 30 August 2023 diff hist +1,415 N Stability Created page with "Stability is a notion and very wide range of types of nonrecursive ordinals, inspired by the weaker notion of reflection. In general, stability is defined via ranks of \(L\) being similar to each other. The weakest type of stability is \((+1)\)-stable, i.e. \(L_\alpha\) being a \(\Sigma_1\)-elementary substructure of \(L_{\alpha+1}\). In general, \(\alpha\) is \(\beta\)-stable, or stable up to \(\beta\), if \(L_\alpha\) is a \(\Sigma_1\)-elementary substructure of \(L_\b..." Tag: Visual edit
- 21:0021:00, 30 August 2023 diff hist +202 Gandy ordinal No edit summary Tag: Visual edit
- 20:5820:58, 30 August 2023 diff hist +1,438 Veblen hierarchy No edit summary Tag: Visual edit
- 20:5520:55, 30 August 2023 diff hist +1,323 N 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
- 20:4220:42, 30 August 2023 diff hist +27 N Bad ordinal Redirected page to Gandy ordinal current Tags: New redirect Visual edit
- 20:4120:41, 30 August 2023 diff hist +27 N Bad ordinals Redirected page to Gandy ordinal current Tags: New redirect Visual edit
- 20:4020:40, 30 August 2023 diff hist +335 Weakly compact cardinal No edit summary Tag: Visual edit
- 20:3920:39, 30 August 2023 diff hist +25 List of ordinals No edit summary Tag: Visual edit
- 20:3720:37, 30 August 2023 diff hist +53 Extended Buchholz ordinal No edit summary current Tag: Visual edit
- 20:3620:36, 30 August 2023 diff hist +39 N EBO Redirected page to Extended Buchholz ordinal current Tags: New redirect Visual edit
- 20:3620:36, 30 August 2023 diff hist +47 N TFBO Redirected page to Takeuti-Feferman-Buchholz ordinal current Tags: New redirect Visual edit
- 20:3520:35, 30 August 2023 diff hist +34 N LVO Redirected page to Large Veblen ordinal current Tags: New redirect Visual edit
- 20:3420:34, 30 August 2023 diff hist +37 N BHO Redirected page to Bachmann-Howard ordinal current Tags: New redirect Visual edit
- 20:3320:33, 30 August 2023 diff hist +29 Takeuti-Feferman-Buchholz ordinal No edit summary Tag: Visual edit
- 20:3320:33, 30 August 2023 diff hist +29 Buchholz ordinal No edit summary current Tag: Visual edit
- 20:3320:33, 30 August 2023 diff hist +29 Bachmann-Howard ordinal No edit summary Tag: Visual edit
- 20:2920:29, 30 August 2023 diff hist −55 Omega 1 Redirected page to Uncountable Tags: New redirect Visual edit