Second-order arithmetic: Revision history

6 September 2024

• curprev 11:3311:33, 6 September 2024 DerSpezialist talk contribs m 29,939 bytes +18 →Basic: Use proper ordered list enumeration undo

23 August 2024

• curprev 11:4511:45, 23 August 2024 Jochen Burghardt talk contribs m 29,921 bytes −30 Reverted 1 edit by 2409:4052:607:D348:0:0:233:68A1 (talk) to last revision by OwenX undo Tags: Twinkle Undo
• curprev 10:3210:32, 23 August 2024 2409:4052:607:d348::233:68a1 talk 29,951 bytes +30 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit Disambiguation links added

25 July 2024

• curprev 12:5612:56, 25 July 2024 OwenX talk contribs m 29,921 bytes −4 Removing link(s) Wikipedia:Articles for deletion/Classical mathematics closed as delete (XFDcloser) undo

1 April 2024

• curprev 17:4517:45, 1 April 2024 82.25.27.218 talk 29,925 bytes +8 No edit summary undo

5 December 2023

• curprev 00:2300:23, 5 December 2023 Trovatore talk contribs 29,917 bytes −15 Undid revision 1188369695 by Oneequalsequalsone (talk) please don't introduce bbb where the established text uses bold undo Tag: Undo
• curprev 00:0500:05, 5 December 2023 Oneequalsequalsone talk contribs 29,932 bytes +15 →Basic: <math>\N</math> undo Tags: Reverted Visual edit

28 November 2023

• curprev 03:5303:53, 28 November 2023 OAbot talk contribs m 29,917 bytes +42 Open access bot: doi updated in citation with #oabot. undo

12 November 2023

• curprev 08:5608:56, 12 November 2023 David Eppstein talk contribs 29,875 bytes +1 →References: missed one cs1 undo
• curprev 08:5508:55, 12 November 2023 David Eppstein talk contribs 29,874 bytes +1,514 pull refs to end for greater source readability; remove two unpublished preprint sources; format refs as cs1 undo
• curprev 02:3702:37, 12 November 2023 David Eppstein talk contribs 28,360 bytes −276 unify citation style somewhat; individual reference formatting still largely manual and inconsistent, but at least now they're all in footnotes undo

14 July 2023

• curprev 17:0017:00, 14 July 2023 AnomieBOT talk contribs m 28,636 bytes +15 Dating maintenance tags: {{Citation needed}} undo
• curprev 15:0015:00, 14 July 2023 TheKing44 talk contribs 28,621 bytes +19 →Projective determinacy: Could not find citation for conservation result undo Tags: Mobile edit Mobile app edit Android app edit

28 May 2023

• curprev 05:1705:17, 28 May 2023 Citation bot talk contribs 28,602 bytes +58 Alter: pages, template type. Add: class, eprint, isbn. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

24 May 2023

• curprev 12:2112:21, 24 May 2023 WikiCleanerBot talk contribs m 28,544 bytes −1 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

22 May 2023

• curprev 06:5506:55, 22 May 2023 AnomieBOT talk contribs m 28,545 bytes +14 Dating maintenance tags: {{Citation style}} undo
• curprev 06:3406:34, 22 May 2023 Kku talk contribs 28,531 bytes +54 citation style undo
• curprev 06:3006:30, 22 May 2023 Kku talk contribs 28,477 bytes +70 cite undo

30 April 2023

• curprev 05:4005:40, 30 April 2023 Kwamikagami talk contribs 28,407 bytes +18 No edit summary undo
• curprev 04:5204:52, 30 April 2023 Kwamikagami talk contribs 28,389 bytes +8 →Basic undo

16 March 2023

• curprev 06:0506:05, 16 March 2023 Citation bot talk contribs 28,381 bytes −80 Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

9 January 2023

• curprev 00:2400:24, 9 January 2023 81.110.184.237 talk 28,461 bytes +453 No edit summary undo

18 November 2022

• curprev 11:2311:23, 18 November 2022 C7XWiki talk contribs 28,008 bytes −115 →More types of models undo

16 November 2022

• curprev 11:2311:23, 16 November 2022 95.115.110.189 talk 28,123 bytes −134 Undid revision 1122166182 by 5.115.16.225 (talk) undo Tag: Undo
• curprev 05:2105:21, 16 November 2022 5.115.16.225 talk 28,257 bytes +134 Creation that come in the phenomenon of number could grow very large in quantity, that kids might mis-take for infinite, while infinity is beyond comprehension of creations and is on the one Creator clearance level of knowledge. undo Tags: Reverted Mobile edit Mobile web edit

10 October 2022

• curprev 21:3021:30, 10 October 2022 2a02:1812:110c:dc00:e5ea:dbc1:5236:5377 talk 28,123 bytes +19 No edit summary undo

28 September 2022

• curprev 03:1803:18, 28 September 2022 64.57.49.50 talk 28,104 bytes +2 Changed typeface in a minor way. undo Tags: Visual edit Mobile edit Mobile web edit

1 August 2022

• curprev 09:5309:53, 1 August 2022 Jochen Burghardt talk contribs 28,102 bytes +27 →Stronger systems: jargon usage of "boldface" needs to be explained - at least link it, for now undo
• curprev 01:5001:50, 1 August 2022 C7XWiki talk contribs 28,075 bytes −2 Fix markup undo
• curprev 01:4901:49, 1 August 2022 C7XWiki talk contribs 28,077 bytes +210 Allowing parameters, referred to as "boldface" →Stronger systems undo
• curprev 01:4701:47, 1 August 2022 C7XWiki talk contribs 27,867 bytes 0 →Projective determinacy undo
• curprev 01:4701:47, 1 August 2022 C7XWiki talk contribs 27,867 bytes +41 Main page link →Projective determinacy undo

11 June 2022

• curprev 12:3812:38, 11 June 2022 Le Deluge talk contribs m 27,826 bytes 0 typo undo

2 June 2022

• curprev 16:5116:51, 2 June 2022 2a02:1812:110c:dc00:4993:8f90:ad74:25e2 talk 27,826 bytes +247 No edit summary undo

31 January 2022

• curprev 18:3218:32, 31 January 2022 Vkuncak talk contribs m 27,579 bytes +90 Resolved redirect and pointed to the FOL variant, which is intended target here undo

19 December 2021

• curprev 05:4005:40, 19 December 2021 I dream of horses talk contribs m 27,489 bytes +12 Wikiproject Check Wiki patrol with AutoWikibrowser undo Tag: AWB

3 December 2021

• curprev 23:5623:56, 3 December 2021 Beland talk contribs m 27,477 bytes −26 convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

27 November 2021

• curprev 12:3512:35, 27 November 2021 Jochen Burghardt talk contribs 27,503 bytes −28 →Induction and comprehension schema: rm \bullet subscripts that don't appear in axiom undo
• curprev 05:4105:41, 27 November 2021 173.73.26.72 talk 27,531 bytes 0 →Induction and comprehension schema undo Tag: Manual revert
• curprev 05:4105:41, 27 November 2021 173.73.26.72 talk 27,531 bytes 0 →Induction and comprehension schema undo Tag: Reverted

5 November 2021

• curprev 00:1200:12, 5 November 2021 C7XWiki talk contribs 27,531 bytes +25 Visible hyperlink →More types of models undo
• curprev 00:1100:11, 5 November 2021 C7XWiki talk contribs 27,506 bytes −22 Visible hyperlink →More types of models undo

4 November 2021

• curprev 23:3923:39, 4 November 2021 C7XWiki talk contribs 27,528 bytes −192 →More types of models undo
• curprev 23:3823:38, 4 November 2021 C7XWiki talk contribs 27,720 bytes +397 →More types of models undo
• curprev 23:3023:30, 4 November 2021 C7XWiki talk contribs 27,323 bytes +11 →References undo
• curprev 23:2823:28, 4 November 2021 C7XWiki talk contribs 27,312 bytes 0 →More types of models undo
• curprev 23:2723:27, 4 November 2021 C7XWiki talk contribs 27,312 bytes +58 →More types of models undo
• curprev 23:2623:26, 4 November 2021 C7XWiki talk contribs 27,254 bytes +1,029 I may need a different source for β-models →More types of models undo
• curprev 23:0923:09, 4 November 2021 C7XWiki talk contribs 26,225 bytes +679 →Models undo

3 November 2021

• curprev 08:4808:48, 3 November 2021 Dmr2 talk contribs m 25,546 bytes −2 →Basic: rm sp undo