User contributions for C7XWiki
A user with 1,335 edits. Account created on 25 January 2021.
10 June 2024
- 08:1308:13, 10 June 2024 diff hist +222 Ordinal analysis Add source current
8 June 2024
- 09:4909:49, 8 June 2024 diff hist +578 Homogeneous (large cardinal property) A citation which has homogeneity for functions with domains other than D^{<omega} current
7 June 2024
- 11:2511:25, 7 June 2024 diff hist −8 Erdős cardinal No edit summary current
- 11:2211:22, 7 June 2024 diff hist +45 Homogeneous (large cardinal property) →External links
- 10:5110:51, 7 June 2024 diff hist −1 Ordinal analysis →Table of ordinal analyses
6 June 2024
- 20:5820:58, 6 June 2024 diff hist +9 Reflection principle →Large cardinals current
- 20:5720:57, 6 June 2024 diff hist +81 Reflection principle →Large cardinals
- 20:5620:56, 6 June 2024 diff hist +1,448 Reflection principle →As new axioms
- 19:3519:35, 6 June 2024 diff hist 0 Reflection principle No edit summary
- 18:1918:19, 6 June 2024 diff hist −20 Reflection principle →In ZFC
- 18:1918:19, 6 June 2024 diff hist 0 Inaccessible cardinal →Two model-theoretic characterisations of inaccessibility current
5 June 2024
- 20:3320:33, 5 June 2024 diff hist +52 Ordinal analysis →Table of ordinal analyses
- 20:3220:32, 5 June 2024 diff hist +2 Ordinal analysis →Table of ordinal analyses
- 20:3120:31, 5 June 2024 diff hist +6 Ordinal analysis →Table of ordinal analyses
- 20:3020:30, 5 June 2024 diff hist +200 Ordinal analysis →Table of ordinal analyses: Sources
- 20:2220:22, 5 June 2024 diff hist +29 Ordinal analysis No edit summary
- 19:0819:08, 5 June 2024 diff hist 0 Reverse mathematics Fix current
- 19:0419:04, 5 June 2024 diff hist +234 Reverse mathematics →Π11 comprehension Π11-CA0: Sources Tags: Mobile edit Mobile web edit
- 18:3818:38, 5 June 2024 diff hist +434 Talk:Reverse mathematics →Ulm's theorem current Tags: Mobile edit Mobile web edit
- 18:1618:16, 5 June 2024 diff hist +465 Talk:Reverse mathematics →Ulm's theorem: new section Tags: Mobile edit Mobile web edit New topic
- 18:1318:13, 5 June 2024 diff hist +50 Reverse mathematics →Arithmetical transfinite recursion ATR0: Sources Tags: Mobile edit Mobile web edit
- 17:5217:52, 5 June 2024 diff hist +52 Reverse mathematics →Arithmetical comprehension ACA0 Tags: Mobile edit Mobile web edit
- 17:2417:24, 5 June 2024 diff hist +598 Reflection principle →For arithmetic Tags: Mobile edit Mobile web edit
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
- 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
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
- 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
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
