Jump to content

User contributions for C7XWiki

Results for C7XWiki talk block log uploads logs global block log global account filter log

A user with 1,446 edits. Account created on 25 January 2021.

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

15:0515:05, 4 January 2025 diff hist −157 Gödel operation →Properties
15:0515:05, 4 January 2025 diff hist +721 Gödel operation May help to include motivation for the more confusing "permutation" functions →Definition
15:0215:02, 4 January 2025 diff hist +54 Gödel operation No edit summary
15:0115:01, 4 January 2025 diff hist +302 Gödel operation May be helpful info for those who want to know its logical strength/need to apply this theorem in an admissible set

17:0817:08, 24 December 2024 diff hist +41 Ordinal analysis →Table of ordinal analyses: Archive link current Tags: Mobile edit Mobile web edit
17:0317:03, 24 December 2024 diff hist +469 Ordinal analysis →Table of ordinal analyses Tags: Mobile edit Mobile web edit

06:1206:12, 16 December 2024 diff hist +210 Discontinuities of monotone functions Explain notation →Proof 2 current

09:5609:56, 11 December 2024 diff hist 0 List of animals awarded human credentials Alphabetize cat names →Cats current

08:0608:06, 5 December 2024 diff hist +53 Reverse mathematics →Arithmetical comprehension ACA0

00:4500:45, 16 November 2024 diff hist +139 Reverse mathematics →Arithmetical comprehension ACA0 Tags: Mobile edit Mobile web edit

14:0414:04, 15 November 2024 diff hist 0 Condensation lemma No edit summary current
07:0907:09, 15 November 2024 diff hist −15 Ineffable cardinal Math tags current

05:3105:31, 14 November 2024 diff hist +305 Axiom of constructibility →Implications
04:2104:21, 14 November 2024 diff hist −2 Indescribable cardinal No edit summary current
04:2104:21, 14 November 2024 diff hist +43 Indescribable cardinal →Properties
04:0404:04, 14 November 2024 diff hist +41 Indescribable cardinal →Equivalent conditions

21:3321:33, 10 November 2024 diff hist +46 Kőnig's lemma No edit summary Tag: Reverted
21:3321:33, 10 November 2024 diff hist +295 Kőnig's lemma Change "binary tree" wording that might be misleading →Computability aspects Tag: Reverted

05:2705:27, 6 November 2024 diff hist −3 Ordered pair More common terminology/wording →Quine–Rosser definition

19:2719:27, 4 November 2024 diff hist −3 Mujuk Fix character

21:3121:31, 26 October 2024 diff hist +18 Ackermann function No need to introduce chained arrow notation when Knuth's works in this range →Table of values

00:5700:57, 23 October 2024 diff hist +40 Hyperperfect number Can't find a Minoli 2010 reference about hyperdeficient numbers, "newly introduced" may also age over time →Hyperdeficiency

16:5416:54, 16 October 2024 diff hist −136 PiHex PiHex no longer holds the record for least significant bit of pi known, see page 848 of https://www.ams.org/notices/201307/rnoti-p844.pdf current
16:3616:36, 16 October 2024 diff hist −50 Bailey–Borwein–Plouffe formula First source

01:3401:34, 7 October 2024 diff hist 0 International Fixed Calendar Remove hyphen

10:2510:25, 3 October 2024 diff hist +29 Zero sharp →References
10:2410:24, 3 October 2024 diff hist +267 Ordinal analysis →Table of ordinal analyses
10:1610:16, 3 October 2024 diff hist −38 KPI I think the second one is usually written KPl (with lowercase L) →Other uses

21:4821:48, 30 September 2024 diff hist −82 Beta-model →In analysis
21:4621:46, 30 September 2024 diff hist +336 Beta-model →In analysis
20:5220:52, 30 September 2024 diff hist +657 Talk:List of incomplete proofs →De Branges proof of the Riemann Hypothesis

05:0505:05, 24 September 2024 diff hist +266 Core model No edit summary
03:3303:33, 24 September 2024 diff hist −22 Core model No edit summary
03:3003:30, 24 September 2024 diff hist +26 Core model Possibly what the inline citation was referring to
03:2103:21, 24 September 2024 diff hist +35 Core model →References

03:4203:42, 18 September 2024 diff hist +38 Core model No edit summary
03:4203:42, 18 September 2024 diff hist +26 Talk:Core model →Citation would be nice
03:2903:29, 18 September 2024 diff hist +11 List of most luminous stars →Transient events
03:2903:29, 18 September 2024 diff hist +428 Talk:List of most luminous stars →Dubious: new section current Tag: New topic

09:0609:06, 17 September 2024 diff hist −2 F-distribution Extra double close bracket
05:0105:01, 17 September 2024 diff hist +23 Pollux b No edit summary
04:0404:04, 17 September 2024 diff hist 0 Ordinal analysis →Ordinal notations

06:2506:25, 13 September 2024 diff hist −14 Ordinal analysis math tags

22:1522:15, 11 September 2024 diff hist +16 Reverse mathematics →Weak Kőnig's lemma WKL0 Tags: Mobile edit Mobile web edit

03:0903:09, 9 September 2024 diff hist −1 File:Texcanpos.jpg Typo current

06:3906:39, 7 September 2024 diff hist +44 Subtle cardinal May be more common notation current

07:1207:12, 30 August 2024 diff hist +203 Reinhardt cardinal Found the source →Stronger axioms

17:5017:50, 28 August 2024 diff hist +538 Talk:Chebyshev's inequality →Notification current
03:0303:03, 28 August 2024 diff hist +62 Hyperoperation →Bibliography: Open-access URL Tags: Mobile edit Mobile web edit
02:5602:56, 28 August 2024 diff hist +1 Sudan function →Definition: Mismatched parentheses current Tags: Mobile edit Mobile web edit

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/C7XWiki"