User contributions for C7XWiki

21 March 2025

• 10:5610:56, 21 March 2025 diff hist +239 Double Mersenne number →Catalan–Mersenne number conjecture

15 March 2025

• 00:1600:16, 15 March 2025 diff hist +7 Plague vaccine →Plague immunization: Scope of the source current Tags: Mobile edit Mobile web edit

13 February 2025

• 00:2400:24, 13 February 2025 diff hist +94 Ordinal analysis Add link and more info current

6 February 2025

• 09:1209:12, 6 February 2025 diff hist +85 Wikipedia:Articles for deletion/Log/2025 February 6 Adding Wikipedia:Articles for deletion/Finite promise games and greedy clique sequences
• 09:1209:12, 6 February 2025 diff hist +984 N Wikipedia:Articles for deletion/Finite promise games and greedy clique sequences Creating deletion discussion for Finite promise games and greedy clique sequences
• 00:1100:11, 6 February 2025 diff hist +174 Ordinal analysis Fix refs

17 January 2025

• 06:3206:32, 17 January 2025 diff hist +347 Ordinal analysis →Table of ordinal analyses

14 January 2025

• 18:3118:31, 14 January 2025 diff hist +17 Square principle →Variant relative to a cardinal current
• 18:0318:03, 14 January 2025 diff hist −2 Large countable ordinal Not relevant, Undid revision 1268564745 by 83.23.217.142 (talk) Tag: Undo
• 18:0218:02, 14 January 2025 diff hist −76 Mahlo cardinal Remove Tag: Manual revert

4 January 2025

• 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

24 December 2024

• 17:0817:08, 24 December 2024 diff hist +41 Ordinal analysis →Table of ordinal analyses: Archive link 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

16 December 2024

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

11 December 2024

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

5 December 2024

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

16 November 2024

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

15 November 2024

• 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

14 November 2024

• 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

10 November 2024

• 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

6 November 2024

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

4 November 2024

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

26 October 2024

• 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

23 October 2024

• 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 October 2024

• 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
• 16:3616:36, 16 October 2024 diff hist −50 Bailey–Borwein–Plouffe formula First source

7 October 2024

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

3 October 2024

• 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

30 September 2024

• 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

24 September 2024

• 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

18 September 2024

• 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

17 September 2024

• 09:0609:06, 17 September 2024 diff hist −2 F-distribution Extra double close bracket