User contributions for RhubarbJayde
A user with 299 edits. Account created on 28 August 2023.
26 December 2023
- 16:2916:29, 26 December 2023 diff hist −25 Cantor's diagonal argument No edit summary current Tag: Visual edit
- 16:2716:27, 26 December 2023 diff hist +2 Buchholz's psi-functions No edit summary Tag: Visual edit
- 16:2716:27, 26 December 2023 diff hist −15 Buchholz's psi-functions No edit summary Tag: Visual edit
- 16:2516:25, 26 December 2023 diff hist −1 Nothing OCF No edit summary
- 16:2516:25, 26 December 2023 diff hist +504 N Nothing OCF Created page with "Nothing OCF is a weak OCF, defined by CatIsFluffy. It is similar to many other OCFs in definition, but omits addition. Therefore, the growth rate is much, much slower. It is believed to correspond to a weak version of Extended Buchholz's function, also defined by omitting addition, and that it catches up to the ordinary version of EBOCF by EBO. However, no proof of either of these claims has been given and..." Tag: Visual edit
- 16:2316:23, 26 December 2023 diff hist −4 Bashicu matrix system Removed a link Tag: Visual edit
- 16:1716:17, 26 December 2023 diff hist +1 Set theory No edit summary current Tag: Visual edit
- 16:1616:16, 26 December 2023 diff hist +112 Set theory No edit summary Tag: Visual edit
- 16:1416:14, 26 December 2023 diff hist +1 List of ordinals No edit summary Tag: Visual edit
30 September 2023
- 13:4913:49, 30 September 2023 diff hist +645 N Set theory Created page with "Set theory is a branch of mathematics involving the study of sets. These are collections of objects. Set theory is often used as a foundation for mathematics, as many mathematical objects (such as natural numbers, groups, topological spaces, ...) can all be encoded as sets. In pure set theory, the primary objects of study are infinite sets, which include infinite ordinals and cardinals. Set theory is the basis for a lot of apeirol..." Tag: Visual edit
- 13:1213:12, 30 September 2023 diff hist +4 Set No edit summary current Tag: Visual edit
- 13:1113:11, 30 September 2023 diff hist +1,276 List of ordinals No edit summary Tag: Visual edit
- 13:0913:09, 30 September 2023 diff hist +39 Church-Kleene ordinal No edit summary Tag: Visual edit
25 September 2023
- 16:3816:38, 25 September 2023 diff hist −135 Axiom of determinacy No edit summary Tag: Visual edit
24 September 2023
- 19:0319:03, 24 September 2023 diff hist +897 Hilbert's Grand Hotel No edit summary Tag: Visual edit
- 14:3614:36, 24 September 2023 diff hist +35 N Grand hotel Redirected page to Hilbert's Grand Hotel current Tags: New redirect Visual edit
- 14:3614:36, 24 September 2023 diff hist +35 N Infinite hotel paradox Redirected page to Hilbert's Grand Hotel current Tags: New redirect Visual edit
- 14:3514:35, 24 September 2023 diff hist +35 N Infinite hotel Redirected page to Hilbert's Grand Hotel current Tags: New redirect Visual edit
14 September 2023
- 16:5016:50, 14 September 2023 diff hist +31 N Ordinal-definable Redirected page to Ordinal definable current Tags: New redirect Visual edit
- 16:4816:48, 14 September 2023 diff hist +10 Extender model No edit summary Tag: Visual edit
9 September 2023
- 16:4816:48, 9 September 2023 diff hist +94 Filter No edit summary current Tag: Visual edit
- 16:4516:45, 9 September 2023 diff hist +127 Filter No edit summary Tag: Visual edit
- 16:4316:43, 9 September 2023 diff hist +2 Filter No edit summary Tag: Visual edit
- 16:2916:29, 9 September 2023 diff hist −19 Constructible hierarchy No edit summary current Tag: Visual edit
- 16:0716:07, 9 September 2023 diff hist +1,523 HOD dichotomy No edit summary current Tag: Visual edit
- 15:5115:51, 9 September 2023 diff hist +820 Extender model No edit summary Tag: Visual edit
- 15:2315:23, 9 September 2023 diff hist +241 HOD dichotomy No edit summary Tag: Visual edit
- 15:2015:20, 9 September 2023 diff hist +106 Ordinal definable No edit summary current Tag: Visual edit
- 15:1715:17, 9 September 2023 diff hist −1 Extendible No edit summary Tag: Visual edit
- 15:1615:16, 9 September 2023 diff hist +31 N HOD Redirected page to Ordinal definable current Tags: New redirect Visual edit
- 15:1515:15, 9 September 2023 diff hist +175 Extender model No edit summary Tag: Visual edit
- 15:1215:12, 9 September 2023 diff hist +17 HOD dichotomy No edit summary Tag: Visual edit
- 15:1115:11, 9 September 2023 diff hist +14 HOD dichotomy No edit summary Tag: Visual edit
- 15:1015:10, 9 September 2023 diff hist +50 Ordinal definable No edit summary Tag: Visual edit
- 15:0815:08, 9 September 2023 diff hist +504 Ordinal definable No edit summary Tag: Visual edit
- 15:0615:06, 9 September 2023 diff hist +2,318 N Ordinal definable Created page with "Ordinal definability is a concept which is key in certain aspects of inner model theory. We say a set \(x\) is ordinal-definable iff there is an ordinal \(\beta\) and a collection \(\alpha_1, \alpha_2, \cdots, \alpha_n\) of ordinals so that \(x \in V_\beta\) and there is a first-order formula \(\varphi\) such that, for all \(y \in V_\beta\), \(y = x\) iff \(V_\beta \models \varphi(y, \alpha_1, \alpha_2, \cdots, \alpha_n)\). In other words, it is definable at some ini..." Tag: Visual edit
- 14:4714:47, 9 September 2023 diff hist +22 HOD dichotomy No edit summary Tag: Visual edit
- 14:4714:47, 9 September 2023 diff hist +2,379 N HOD dichotomy Created page with "The HOD dichotomy theorem is a theorem which shows that HOD, the class of hereditarily ordinal-definable sets, must either be close to or far from the true universe, \(V\). It is formulated in analogy with Jensen's original dichotomy theorem, which asserts that one of the two following holds: * Every uncountable cardinal is inaccessible in \(L\). * For every singular \(\gamma\), \(\gamma\) is singular in \(L\) and \((\gamma^+)^L = \gamma^+\)...." Tag: Visual edit
- 14:1214:12, 9 September 2023 diff hist +319 Talk:Zero sharp No edit summary current
- 14:1014:10, 9 September 2023 diff hist +43 Zero sharp No edit summary Tag: Visual edit
- 14:0814:08, 9 September 2023 diff hist +100 Kunen's inconsistency No edit summary Tag: Visual edit
- 14:0414:04, 9 September 2023 diff hist +250 Extender model No edit summary Tag: Visual edit
- 14:0014:00, 9 September 2023 diff hist +132 Extender No edit summary current Tag: Visual edit
- 13:5913:59, 9 September 2023 diff hist +1,049 N Extender Created page with "An extender is a collection of ultrafilters which, when combined, are able to coherently code a single elementary embedding (this can be either a nontrivial elementary embedding between a universe and an inner model, or a cofinal elementary embedding between two models of ZFC minus the powerset axiom). Namely, an extender consists of ultrafilters \(E_a\), where \(a\) is a finite set of ordinals, which cohere in a certain way, so that one is able to take th..." Tag: Visual edit
- 13:5313:53, 9 September 2023 diff hist +3 Measurable No edit summary current Tag: Visual edit
- 13:5213:52, 9 September 2023 diff hist +1,438 N Kunen's inconsistency Created page with "Kunen's inconsistency is a theorem proved by Kenneth Kunen which proves that certain large cardinals, which were previously believed to be natural generalizations of weaker large cardinals, are inconsistent. The proof uses the axiom of choice in a crucial way - it is believed that the large cardinals the theorem rules out may still be able to exist in ZF. It originally proved: "there is no nontrivial elementary embedding \(j: V \to V\), the..." Tag: Visual edit
- 13:4213:42, 9 September 2023 diff hist +486 Extender model No edit summary Tag: Visual edit
- 13:3713:37, 9 September 2023 diff hist +2,255 N Covering property Created page with "The covering property is a property of inner models, in particular core models, which is a measure of how "closely they approximate" the real universe \(V\) of sets. Namely, we say an inner model \(N\) has the covering property iff it is able to "cover" uncountable sets of ordinals: for every uncountable set \(X\) of ordinals, there is \(Y \in N\) so that \(X \subset Y\) and \(|X| = |Y|\). Of course, \(V\) has the covering property, and so \(V = L\..." current Tag: Visual edit
- 13:3713:37, 9 September 2023 diff hist +423 Extendible No edit summary Tag: Visual edit
- 13:3213:32, 9 September 2023 diff hist +440 Extendible No edit summary Tag: Visual edit