User contributions for C7XWiki
A user with 1,312 edits. Account created on 25 January 2021.
1 June 2024
- 05:0605:06, 1 June 2024 diff hist +552 Class (set theory) →Classes in formal set theories
- 04:1504:15, 1 June 2024 diff hist +231 Ineffable cardinal No edit summary current
- 04:1204:12, 1 June 2024 diff hist +12 Ineffable cardinal No edit summary
31 May 2024
- 20:3320:33, 31 May 2024 diff hist +48 Paris–Harrington theorem →Paris–Harrington theorem current
- 20:2420:24, 31 May 2024 diff hist +111 Ordinal analysis Add link to source →Table of ordinal analyses current
- 20:2220:22, 31 May 2024 diff hist +559 Ordinal analysis →Table of ordinal analyses Tags: Mobile edit Mobile web edit
30 May 2024
- 19:3819:38, 30 May 2024 diff hist +29 Solovay model →References current
- 19:3719:37, 30 May 2024 diff hist +259 Solovay model →Complements
21 May 2024
- 00:0200:02, 21 May 2024 diff hist −2 Mobile dial code →United States current
18 May 2024
- 00:2300:23, 18 May 2024 diff hist −9 Primitive recursive function Possible better wording current Tags: Mobile edit Mobile web edit
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
- 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