Reverse mathematics: Revision history

5 June 2024

• curprev 19:0819:08, 5 June 2024‎ C7XWiki talk contribs‎ 37,712 bytes 0‎ Fix undo
• curprev 19:0419:04, 5 June 2024‎ C7XWiki talk contribs‎ 37,712 bytes +234‎ →‎Π11 comprehension Π11-CA0: Sources undo Tags: Mobile edit Mobile web edit
• curprev 18:1318:13, 5 June 2024‎ C7XWiki talk contribs‎ 37,478 bytes +50‎ →‎Arithmetical transfinite recursion ATR0: Sources undo Tags: Mobile edit Mobile web edit
• curprev 17:5217:52, 5 June 2024‎ C7XWiki talk contribs‎ 37,428 bytes +52‎ →‎Arithmetical comprehension ACA0 undo Tags: Mobile edit Mobile web edit

2 June 2024

• curprev 17:0917:09, 2 June 2024‎ 2603:6080:76f0:8740:7507:bce7:2b15:c1be talk‎ 37,376 bytes −85‎ →‎External links: Removed dead link to H. Friedman site, updated link to S. Simpson site undo

8 February 2024

• curprev 21:1721:17, 8 February 2024‎ C7XWiki talk contribs‎ 37,461 bytes +4‎ →‎ω-models and β-models: More math tags undo Tags: Mobile edit Mobile web edit
• curprev 21:1721:17, 8 February 2024‎ C7XWiki talk contribs‎ 37,457 bytes +99‎ →‎ω-models and β-models: Math tags, notation that seems more common for powerset undo Tags: Mobile edit Mobile web edit

18 January 2024

• curprev 21:3921:39, 18 January 2024‎ Citation bot talk contribs‎ 37,358 bytes +14‎ Added s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Computability theory | #UCB_Category 22/100 undo

4 October 2023

• curprev 01:5201:52, 4 October 2023‎ C7XWiki talk contribs‎ 37,344 bytes +732‎ →‎Stronger Systems: Added a statement in topology undo Tags: Mobile edit Mobile web edit

27 September 2023

• curprev 12:1612:16, 27 September 2023‎ C7XWiki talk contribs‎ 36,612 bytes +329‎ Another theorem →‎Arithmetical comprehension ACA0 undo
• curprev 03:1203:12, 27 September 2023‎ C7XWiki talk contribs‎ 36,283 bytes +415‎ →‎Arithmetical comprehension ACA0 undo Tags: Mobile edit Mobile web edit

31 August 2023

• curprev 09:2509:25, 31 August 2023‎ C7XWiki talk contribs‎ 35,868 bytes +50‎ →‎Arithmetical transfinite recursion ATR0 undo
• curprev 09:2009:20, 31 August 2023‎ C7XWiki talk contribs‎ 35,818 bytes +512‎ →‎Arithmetical comprehension ACA0 undo
• curprev 08:5508:55, 31 August 2023‎ C7XWiki talk contribs‎ 35,306 bytes +52‎ →‎The base system RCA0 undo
• curprev 08:4708:47, 31 August 2023‎ C7XWiki talk contribs‎ 35,254 bytes −4‎ Referred to as set variables in article and in SOSOA undo
• curprev 08:4208:42, 31 August 2023‎ C7XWiki talk contribs‎ 35,258 bytes +253‎ →‎The base system RCA0 undo

18 August 2023

• curprev 22:4222:42, 18 August 2023‎ OAbot talk contribs‎ m 35,005 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

30 December 2022

• curprev 05:2705:27, 30 December 2022‎ 148.74.28.153 talk‎ 35,009 bytes 0‎ →‎Weak Kőnig's lemma WKL0: Copyedit. undo
• curprev 05:2605:26, 30 December 2022‎ 148.74.28.153 talk‎ 35,009 bytes −187‎ →‎Weak Kőnig's lemma WKL0: Cleared up a duplication of information. undo

22 November 2022

• curprev 18:1318:13, 22 November 2022‎ Citation bot talk contribs‎ 35,196 bytes +15‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 372/485 undo
• curprev 02:2402:24, 22 November 2022‎ JCW-CleanerBot talk contribs‎ m 35,181 bytes +2‎ →‎Stronger Systems: task undo Tag: AWB

21 November 2022

• curprev 20:4020:40, 21 November 2022‎ TheMathCat talk contribs‎ 35,179 bytes −51‎ fulltext via doi undo

15 November 2022

• curprev 00:3800:38, 15 November 2022‎ Dmytro talk contribs‎ 35,230 bytes +1,798‎ →‎Additional systems: added stronger systems subsection undo

14 October 2022

• curprev 20:2720:27, 14 October 2022‎ C7XWiki talk contribs‎ 33,432 bytes +35‎ →‎General principles undo Tags: Mobile edit Mobile web edit
• curprev 20:2420:24, 14 October 2022‎ C7XWiki talk contribs‎ 33,397 bytes +371‎ Moving Simpson to inline citation undo Tags: Mobile edit Mobile web edit
• curprev 20:1920:19, 14 October 2022‎ C7XWiki talk contribs‎ 33,026 bytes +46‎ →‎ω-models and β-models: Moving Simpson to inline citation undo Tags: Mobile edit Mobile web edit

13 October 2022

• curprev 19:5719:57, 13 October 2022‎ 71.139.124.132 talk‎ 32,980 bytes −57‎ →‎See also: WP:BOLD ly removing two See Also's that, to my probably amateur eye do not relate to the topic of this article. undo

3 September 2022

• curprev 08:4008:40, 3 September 2022‎ C7XWiki talk contribs‎ 33,037 bytes +177‎ Un-orphaning Silver's dichotomy article →‎Π{{su|p=1|b=1}} comprehension Π{{su|p=1|b=1}}-CA0 undo

24 August 2022

• curprev 22:3622:36, 24 August 2022‎ Mgkrupa talk contribs‎ 32,860 bytes +23‎ Added {{Mathematical logic}} undo

23 August 2022

• curprev 06:5706:57, 23 August 2022‎ C7XWiki talk contribs‎ 32,837 bytes +3‎ Possible better wording →‎ω-models and β-models undo

24 May 2022

• curprev 07:2207:22, 24 May 2022‎ LaundryPizza03 talk contribs‎ 32,834 bytes +8‎ →‎Use of higher-order arithmetic: timeframe undo

6 April 2022

• curprev 02:0802:08, 6 April 2022‎ Graham11 talk contribs‎ m 32,826 bytes 0‎ No edit summary undo

20 March 2022

• curprev 01:5701:57, 20 March 2022‎ GA-RT-22 talk contribs‎ m 32,826 bytes −1‎ Undid revision 1078120100 by 170.76.202.183 (talk) undo Tag: Undo

19 March 2022

• curprev 23:5823:58, 19 March 2022‎ 170.76.202.183 talk‎ 32,827 bytes +1‎ No edit summary undo Tag: Reverted

8 March 2022

• curprev 02:3702:37, 8 March 2022‎ Spacepotato talk contribs‎ 32,826 bytes +17‎ disambiguate link undo

12 December 2021

• curprev 13:4113:41, 12 December 2021‎ Robin S talk contribs‎ 32,809 bytes 0‎ Undid revision 1058206359 by 2600:1010:B10F:F8B9:931:8A66:8D62:8ABA (talk) undo Tag: Undo

11 December 2021

• curprev 14:1514:15, 11 December 2021‎ Citation bot talk contribs‎ 32,809 bytes +38‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical logic | #UCB_Category 138/207 undo

2 December 2021

• curprev 02:5202:52, 2 December 2021‎ 2600:1010:b10f:f8b9:931:8a66:8d62:8aba talk‎ 32,771 bytes 0‎ →‎Π11 comprehension Π11-CA0 undo Tags: Reverted Mobile edit Mobile web edit

26 August 2021

• curprev 00:0300:03, 26 August 2021‎ UnladenSwallow talk contribs‎ 32,771 bytes +16‎ →‎Use of higher-order arithmetic: Disambiguated a wikilink. undo

19 August 2021

• curprev 02:1302:13, 19 August 2021‎ David Eppstein talk contribs‎ 32,755 bytes −174‎ pull parenthetical references into footnotes per deprecation of that style, leaving in place the harv templates that produce article content rather than references undo
• curprev 02:0702:07, 19 August 2021‎ David Eppstein talk contribs‎ 32,929 bytes +108‎ →‎References: fix Friedman 1976 ref undo

26 July 2021

• curprev 14:4114:41, 26 July 2021‎ 85.67.32.244 talk‎ 32,821 bytes +4‎ consistent harvtxt in lede undo

12 June 2021

• curprev 04:4404:44, 12 June 2021‎ Pedro Lucas Silva talk contribs‎ 32,817 bytes +27‎ Added free to read link in citations with OAbot #oabot undo Tag: OAbot [2.1]

6 June 2021

• curprev 10:0010:00, 6 June 2021‎ Cedar101 talk contribs‎ m 32,790 bytes −10‎ →‎Use of higher-order arithmetic: ''ω'' undo

24 May 2021

• curprev 23:0023:00, 24 May 2021‎ 213.119.8.88 talk‎ 32,800 bytes +82‎ No edit summary undo

22 May 2021

• curprev 17:1917:19, 22 May 2021‎ Citation bot talk contribs‎ 32,718 bytes +49‎ Add: editors 1-1. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform undo

17 May 2021

• curprev 21:1721:17, 17 May 2021‎ AnomieBOT talk contribs‎ m 32,669 bytes +28‎ Dating maintenance tags: {{Clarify}} {{When}} undo
• curprev 19:1619:16, 17 May 2021‎ 178.11.117.154 talk‎ 32,641 bytes +19‎ No edit summary undo

8 May 2021

• curprev 06:1406:14, 8 May 2021‎ Cewbot talk contribs‎ m 32,622 bytes 0‎ Fix broken anchor: Kleene's recursion theorem 2009-08-22T04:08:53Z #Fixed point free functions⇝Kleene's recursion theorem#Fixed-point-free functions undo

23 April 2021

• curprev 13:0413:04, 23 April 2021‎ Jarble talk contribs‎ m 32,622 bytes +4‎ linking undo