User contributions for C7X
Jump to navigation
Jump to search
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
- 22:2722:27, 31 August 2023 diff hist +94 Inaccessible cardinal →Strongly inaccessible
- 22:2422:24, 31 August 2023 diff hist −71 Constructible hierarchy →Definition
- 22:2022:20, 31 August 2023 diff hist +7 Constructible hierarchy →Definition
- 22:2022:20, 31 August 2023 diff hist +31 Constructible hierarchy →Definition
- 22:1922:19, 31 August 2023 diff hist +19 Constructible hierarchy How is the reflection principle stated for general cumulative hierarchies?
- 22:1822:18, 31 August 2023 diff hist +8 ZFC May sound like ZF proves Banach-Tarski
- 22:1722:17, 31 August 2023 diff hist +19 ZFC Citation for name needed
- 22:1622:16, 31 August 2023 diff hist +198 Ordinal →Ordinal arithmetic