User contributions for C7XWiki
A user with 1,302 edits. Account created on 25 January 2021.
15 May 2024
- 21:4721:47, 15 May 2024 diff hist +17 Indiscernibles →References current
- 21:4621:46, 15 May 2024 diff hist +395 Talk:Sy Friedman →"Known for" field in infobox: new section current Tags: Disambiguation links added New topic
- 21:4321:43, 15 May 2024 diff hist −43 Sy Friedman →Biography current
- 21:4321:43, 15 May 2024 diff hist +87 Sy Friedman →Biography
- 21:4221:42, 15 May 2024 diff hist +227 Sy Friedman →Biography
12 May 2024
- 07:3207:32, 12 May 2024 diff hist +19 Talk:Rowbottom cardinal →Equivalent property current
- 07:3207:32, 12 May 2024 diff hist +984 Talk:Rowbottom cardinal →Equivalent property: new section Tag: New topic
11 May 2024
- 20:0520:05, 11 May 2024 diff hist −1 Rowbottom cardinal No edit summary current
- 11:0711:07, 11 May 2024 diff hist 0 Erdős cardinal →Citations current
- 11:0711:07, 11 May 2024 diff hist +28 Erdős cardinal →References
- 11:0611:06, 11 May 2024 diff hist +127 Erdős cardinal Another similar result
- 10:5710:57, 11 May 2024 diff hist +867 Indiscernibles Adding definition common in study of Erdos cardinals →Generalizations
- 10:5410:54, 11 May 2024 diff hist +303 Erdős cardinal Add property
- 10:5210:52, 11 May 2024 diff hist +30 Erdős cardinal Intended statement?
10 May 2024
- 01:3601:36, 10 May 2024 diff hist −1 Las Pozas Consistency current
6 May 2024
- 00:3700:37, 6 May 2024 diff hist −1 Allais effect Remove extra period
- 00:0700:07, 6 May 2024 diff hist +1 Double pendulum No edit summary current
3 May 2024
- 10:1710:17, 3 May 2024 diff hist +1 Silver machine →Preliminaries current
- 08:0308:03, 3 May 2024 diff hist +1,559 Ordinal analysis More theories, citations →Table of ordinal analyses
- 06:1106:11, 3 May 2024 diff hist +472 Ordinal analysis Adding source →Theories with larger proof-theoretic ordinals
- 06:0306:03, 3 May 2024 diff hist −37 Ordinal analysis Consolidate references, fix dead link
- 05:4505:45, 3 May 2024 diff hist +207 Ordinal analysis Adding theory, sources →Table of ordinal analyses
- 05:4505:45, 3 May 2024 diff hist 0 Ordinal analysis Moved one to second-order, added theories →Table of ordinal analyses
- 05:3505:35, 3 May 2024 diff hist +429 Ordinal analysis Another ordinal, theory, and source →Table of ordinal analyses
- 05:2405:24, 3 May 2024 diff hist −2 Ordinal analysis SOA →Table of ordinal analyses
- 05:2205:22, 3 May 2024 diff hist +2,019 Ordinal analysis Adding theories and sources →Table of ordinal analyses
- 02:5002:50, 3 May 2024 diff hist +36 Infinitary combinatorics Strong colorings section in particular
2 May 2024
- 08:3108:31, 2 May 2024 diff hist 0 Paris–Harrington theorem Likely more common word order →Paris–Harrington theorem current
- 08:0408:04, 2 May 2024 diff hist −28 Zermelo's categoricity theorem Linked current
- 08:0408:04, 2 May 2024 diff hist +51 Inaccessible cardinal infty symbol for Ord not very common, linking →Two model-theoretic characterisations of inaccessibility current
28 April 2024
- 09:1809:18, 28 April 2024 diff hist +78 Reinhardt cardinal Adding download link current
27 April 2024
- 03:5903:59, 27 April 2024 diff hist +4 Windowlicker No edit summary
26 April 2024
- 02:2302:23, 26 April 2024 diff hist +1,127 Ordinal analysis More theories →Table of ordinal analyses
25 April 2024
- 22:5822:58, 25 April 2024 diff hist +465 Ordinal analysis Three more theoreis →Table of ordinal analyses
- 09:3409:34, 25 April 2024 diff hist 0 Zermelo's categoricity theorem Fix
21 April 2024
- 22:3022:30, 21 April 2024 diff hist +2,349 N Zermelo's categoricity theorem ←Created page with ''''Zermelo's categoricity theorem''' was proven by Ernst Zermelo in 1930. It states that all models of a certain second-order version of the Zermelo-Fraenkel axioms of set theory are isomorphic to a member of a certain class of sets. ==Statement== Let <math>\mathrm{ZFC}^2</math> denote Zermelo-Fraenkel set theory, but with a second-order version of the axiom of replacement formulated as follows:<ref>S. Shapiro, ''Foundations Without Foundation...'
- 06:1706:17, 21 April 2024 diff hist 0 List of prematurely reported obituaries As of April 2024 →B
20 April 2024
- 21:2321:23, 20 April 2024 diff hist +597 Talk:First-order logic →First-Order Sentence definition current
- 09:1609:16, 20 April 2024 diff hist −4 Ordinal analysis →Table of ordinal analyses
- 09:1109:11, 20 April 2024 diff hist +574 Ordinal analysis More theories →Table of ordinal analyses
- 09:0209:02, 20 April 2024 diff hist +700 Ordinal analysis →Table of ordinal analyses
19 April 2024
- 22:3922:39, 19 April 2024 diff hist +1,182 Talk:Gödel's incompleteness theorems →Image
- 21:0521:05, 19 April 2024 diff hist +41 Ordinal analysis LaTeX bug →Table of ordinal analyses
- 21:0421:04, 19 April 2024 diff hist +285 Ordinal analysis No edit summary
- 21:0121:01, 19 April 2024 diff hist +25 Ordinal analysis No edit summary Tag: Visual edit
- 20:5720:57, 19 April 2024 diff hist +20 Ordinal analysis →Table of ordinal analyses
- 20:5320:53, 19 April 2024 diff hist +198 Ordinal analysis Assuming this is same theory as KPM^0 with capital M →Table of ordinal analyses
- 20:4620:46, 19 April 2024 diff hist +808 Ordinal analysis →Table of ordinal analyses
18 April 2024
- 06:4806:48, 18 April 2024 diff hist +219 Subtle cardinal →Theorem current
11 April 2024
- 05:1105:11, 11 April 2024 diff hist +282 Talk:Woodin cardinal →"I'm not saying this article is unclear, but..." current