User contributions for C7X
Jump to navigation
Jump to search
19 September 2023
- 13:4713:47, 19 September 2023 diff hist +2,279 N Uniformity Created page with "Uniformity is a justification used for existence of some very large large cardinals, such as measurable and strongly compact cardinals. As there is no current characterization of measurable cardinals by closure under certain operations as there are with some smaller large cardinals, uniformity is often the method of choice for justifying their existence.<ref name="MaddyI">P. Maddy, "[https://www.cs.umd.edu/~gasarch/BLOGPAPERS/belaxioms1.pdf Believing the Axioms I]", pp.5..."
18 September 2023
- 06:3006:30, 18 September 2023 diff hist +45 Countability For definability in V this gives something like min{α | L_α prec_Δ_1 L} current
13 September 2023
- 21:5421:54, 13 September 2023 diff hist +6 Gap ordinal No edit summary
- 21:5421:54, 13 September 2023 diff hist +311 Gap ordinal →Longer gaps
- 21:2621:26, 13 September 2023 diff hist −12 Veblen hierarchy →References
- 21:2621:26, 13 September 2023 diff hist 0 Veblen hierarchy →References
- 21:2521:25, 13 September 2023 diff hist +30 Veblen hierarchy No edit summary
11 September 2023
- 21:5021:50, 11 September 2023 diff hist −8 Extender model No edit summary Tag: Visual edit: Switched
10 September 2023
- 21:2621:26, 10 September 2023 diff hist −2 Kunen's inconsistency (Kunen's proof may not be generalizable to j : V_(λ+1) -> V_(λ+1), but what if something else is?) current
8 September 2023
- 01:5701:57, 8 September 2023 diff hist −1 Talk:Countability Typo →"Furthermore, a gap ordinal may have a map to N but this map can not be defined at all using first-order set theory" current
- 01:5701:57, 8 September 2023 diff hist +1,079 N Talk:Countability →"Furthermore, a gap ordinal may have a map to N but this map can not be defined at all using first-order set theory": new section Tag: New topic
7 September 2023
- 23:3723:37, 7 September 2023 diff hist +366 Finite No edit summary current
- 23:3423:34, 7 September 2023 diff hist +762 N Talk:Powerset →Naturality of CH: new section current Tag: New topic
- 23:2423:24, 7 September 2023 diff hist +102 Cofinality No edit summary
- 23:2323:23, 7 September 2023 diff hist +70 Patterns of resemblance No edit summary current
- 23:2223:22, 7 September 2023 diff hist +15 Patterns of resemblance →Stability
- 23:2023:20, 7 September 2023 diff hist +29 Filter No edit summary
4 September 2023
- 21:1821:18, 4 September 2023 diff hist −12 Reflection principle →References
- 21:1721:17, 4 September 2023 diff hist +28 Reflection principle No edit summary
- 21:1721:17, 4 September 2023 diff hist +111 Reflection principle No edit summary
- 21:1521:15, 4 September 2023 diff hist +3,537 Reflection principle No edit summary
- 20:2020:20, 4 September 2023 diff hist +282 N Talk:Continuum hypothesis →"unsolved problems of set theory": new section current Tags: Mobile edit Mobile web edit New topic
- 20:1920:19, 4 September 2023 diff hist +245 Continuum hypothesis No edit summary
2 September 2023
- 01:1101:11, 2 September 2023 diff hist +53 Ordinal collapsing function →Use of nonrecursive countable ordinals
1 September 2023
- 08:4208:42, 1 September 2023 diff hist +50 Ordinal collapsing function →Use of nonrecursive countable ordinals
- 08:2208:22, 1 September 2023 diff hist +51 Ordinal collapsing function →Use of nonrecursive countable ordinals
- 08:1508:15, 1 September 2023 diff hist +181 Ordinal collapsing function →Use of nonrecursive countable ordinals
- 05:4905:49, 1 September 2023 diff hist +315 Infinite time Turing machine No edit summary current
- 05:3505:35, 1 September 2023 diff hist 0 Absolute infinity No edit summary
- 05:3205:32, 1 September 2023 diff hist +764 Absolute infinity Connection to reflection principles
- 01:5001:50, 1 September 2023 diff hist +1 Ordinal collapsing function →Use of nonrecursive countable ordinals
- 01:5001:50, 1 September 2023 diff hist +2 Ordinal collapsing function →Use of nonrecursive countable ordinals
- 01:4901:49, 1 September 2023 diff hist +166 Ordinal collapsing function Additional complication →Use of nonrecursive countable ordinals
- 01:4401:44, 1 September 2023 diff hist +1 Zero sharp No edit summary
31 August 2023
- 23:1523:15, 31 August 2023 diff hist +1,252 N Talk:Proper class →"because that would cause a paradox": new section current Tag: New topic
- 23:0723:07, 31 August 2023 diff hist +139 Large Veblen ordinal No edit summary
- 23:0523:05, 31 August 2023 diff hist +45 Large Veblen ordinal No edit summary
- 23:0523:05, 31 August 2023 diff hist +126 Large Veblen ordinal No edit summary
- 23:0423:04, 31 August 2023 diff hist +157 Epsilon numbers No edit summary
- 23:0323:03, 31 August 2023 diff hist +43 Veblen hierarchy No edit summary
- 23:0123:01, 31 August 2023 diff hist +80 Veblen hierarchy No edit summary
- 23:0023:00, 31 August 2023 diff hist +31 Takeuti-Feferman-Buchholz ordinal No edit summary
- 22:5922:59, 31 August 2023 diff hist +202 Ordinal collapsing function →Use of nonrecursive countable ordinals
- 22:5722:57, 31 August 2023 diff hist +458 N Talk:Zero sharp →"Totally stable": new section Tag: New topic
- 22:5422:54, 31 August 2023 diff hist +1,067 Ordinal collapsing function →Quantifier complexity
- 22:5222:52, 31 August 2023 diff hist +291 Zero sharp Sourcing
- 22:4222:42, 31 August 2023 diff hist +890 N Cardinal Created page with "Cardinals are an extension of the natural numbers that describe the size of a set. There are two ways to define cardinality: cardinals as initial ordinals, or cardinals as equivalence classes under bijectability. The second is more common in settings without the axiom of choice, since not all sets are necessarily well-orderable.{{citation needed}} The aleph numbers are examples of well-ordered cardinals, and exhaust the infinite well-ordered cardinals.{{citation nedede..."
- 22:3722:37, 31 August 2023 diff hist +32 Inaccessible cardinal Some history →Strongly inaccessible
- 22:3522:35, 31 August 2023 diff hist +7 Inaccessible cardinal →Weakly inaccessible
- 22:3422:34, 31 August 2023 diff hist +405 Inaccessible cardinal More specific example of aleph_1's regularity →Weakly inaccessible