Robinson arithmetic: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 15:1815:18, 17 October 2023‎ 157.193.240.143 talk‎ 15,183 bytes +189‎ No edit summary undo

curprev 08:4308:43, 3 September 2023‎ Marc Schroeder talk contribs‎ m 14,994 bytes +34‎ corrected one link error, and pointed redirection pages to their targets undo

curprev 22:0422:04, 26 August 2023‎ Plm203 talk contribs‎ 14,960 bytes +1‎ →‎See also undo

curprev 01:5801:58, 19 August 2023‎ OAbot talk contribs‎ m 14,959 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

curprev 13:0713:07, 12 July 2023‎ Citation bot talk contribs‎ 14,963 bytes +91‎ Alter: pages, journal. Add: isbn, s2cid, jstor. Formatted dashes. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Formal theories of arithmetic | #UCB_Category 10/17 undo

curprev 14:3614:36, 28 January 2023‎ 69.143.122.185 talk‎ 14,872 bytes +322‎ clarification request undo

curprev 17:1417:14, 15 November 2022‎ AnomieBOT talk contribs‎ m 14,550 bytes +19‎ Dating maintenance tags: {{Citation needed}} undo
curprev 15:1315:13, 15 November 2022‎ Caiodnh talk contribs‎ m 14,531 bytes +19‎ →‎Metamathematics: add citation needed undo

curprev 23:1523:15, 24 August 2022‎ Mgkrupa talk contribs‎ 14,512 bytes +24‎ Added {{Mathematical logic}} undo

curprev 15:4615:46, 24 October 2021‎ Marc Schroeder talk contribs‎ m 14,488 bytes +14‎ →‎Metamathematics undo
curprev 15:3515:35, 24 October 2021‎ Marc Schroeder talk contribs‎ m 14,474 bytes +1,192‎ No edit summary undo

curprev 01:2501:25, 23 October 2021‎ Marc Schroeder talk contribs‎ m 13,282 bytes +1,388‎ made references clickable undo

curprev 08:5808:58, 30 August 2021‎ Binary198 talk contribs‎ 11,894 bytes +35‎ No edit summary undo Tag: Visual edit

curprev 01:5201:52, 18 August 2021‎ Tsojen talk contribs‎ m 11,859 bytes +5‎ →‎Variant axiomatizations undo Tag: Visual edit

curprev 18:0618:06, 17 April 2021‎ Jochen Burghardt talk contribs‎ 11,854 bytes −12‎ →‎Axioms: actually, "·" is used here undo

curprev 14:0314:03, 3 September 2020‎ Andrewbt talk contribs‎ 11,866 bytes −1‎ Added link to Formal_system#Logical_system for "background logic" undo

curprev 15:4815:48, 29 April 2020‎ JayBeeEll talk contribs‎ m 11,867 bytes +58‎ replace piped redirect domain (mathematics) with domain of a function, add short desc undo
curprev 15:4315:43, 29 April 2020‎ Tea2min talk contribs‎ m 11,809 bytes 0‎ Skip redirect from Domain (mathematics) to Domain of a function. May turn Domain (mathematics) into a redirect to Domain (disambiguation)#Mathematics later. undo

curprev 04:0704:07, 13 February 2020‎ GreenC bot talk contribs‎ 11,809 bytes −59‎ Move 1 url. Wayback Medic 2.5 undo

curprev 18:4218:42, 6 January 2020‎ 186.138.4.34 talk‎ 11,868 bytes 0‎ No edit summary undo

curprev 04:1704:17, 11 December 2019‎ 24.127.33.115 talk‎ 11,868 bytes +135‎ →‎Variant axiomatizations: Futher clarification and improvement undo

curprev 06:2106:21, 8 December 2019‎ 24.127.33.115 talk‎ 11,733 bytes +851‎ →‎Metamathematics: Presence of standard part; also add the ab-model example undo
curprev 05:1505:15, 8 December 2019‎ 24.127.33.115 talk‎ 10,882 bytes +1,069‎ →‎Variant axiomatizations: Further clarifications and improvements. Burgess 2005:230 fn. 24 has an incorrect assertion undo
curprev 02:1302:13, 8 December 2019‎ 24.127.33.115 talk‎ 9,813 bytes −15‎ →‎Axioms: Minor correction undo
curprev 01:5801:58, 8 December 2019‎ 24.127.33.115 talk‎ 9,828 bytes 0‎ →‎Metamathematics: Correcting Boolos et al. 2002 reference to "Ch 14" to "Ch 16" (Ch 14 would be correct for an older edition) undo

curprev 21:5521:55, 7 December 2019‎ 24.127.33.115 talk‎ 9,828 bytes +408‎ →‎Variant axiomatizations: Clarification about axiom 3, and historical ordering undo

curprev 01:3501:35, 18 August 2019‎ 91.141.1.173 talk‎ 9,420 bytes +52‎ →‎See also undo

curprev 07:5007:50, 9 August 2019‎ Citation bot talk contribs‎ m 9,368 bytes +8‎ Alter: author. Add: author-link. | You can use this bot yourself. Report bugs here.| Activated by User:Headbomb undo

curprev 14:0314:03, 9 April 2019‎ TennisFans talk contribs‎ 9,360 bytes −12‎ No edit summary undo
curprev 13:5613:56, 9 April 2019‎ TennisFans talk contribs‎ 9,372 bytes +7‎ No edit summary undo

curprev 05:2505:25, 24 March 2019‎ 73.129.238.85 talk‎ 9,365 bytes 0‎ →‎Variant axiomatizations: Correct Shoenfield citation undo

curprev 15:0415:04, 14 December 2018‎ 155.33.131.24 talk‎ 9,365 bytes +34‎ →‎Axioms: Phrase background logic doesn't appear to be widespread enough to assume for readers. undo

curprev 16:2316:23, 12 November 2018‎ 129.16.241.41 talk‎ 9,331 bytes −3‎ →‎Metamathematics undo

curprev 21:3821:38, 10 December 2017‎ 218.215.43.154 talk‎ 9,334 bytes +4‎ No edit summary undo

curprev 23:1923:19, 1 February 2017‎ 24.85.232.10 talk‎ 9,330 bytes 0‎ →‎Axioms undo
curprev 23:1823:18, 1 February 2017‎ 24.85.232.10 talk‎ 9,330 bytes +12‎ No edit summary undo

curprev 21:4421:44, 20 January 2017‎ 2607:ea00:101:2417:9dda:3672:8dd6:4602 talk‎ 9,318 bytes 0‎ →‎See also undo

curprev 22:5622:56, 3 January 2017‎ IWillBuildTheRoads talk contribs‎ 9,318 bytes 0‎ →‎Metamathematics: Remove unnecessary capitalization undo Tags: Mobile edit Mobile web edit

curprev 20:2420:24, 3 December 2016‎ Lalaith talk contribs‎ 9,318 bytes +6‎ Remove a misleading "Since". Q having fewer axioms does not make it weaker. And although Q is incomplete, it does not have much to do with PA - except possibly the fact that even PA is incomplete, but then we don't need to know that Q is strictly weaker. undo

curprev 15:0715:07, 30 July 2016‎ MaxisJaisi talk contribs‎ 9,312 bytes +4‎ →‎Metamathematics undo

curprev 10:3310:33, 18 March 2016‎ CBM talk contribs‎ 9,308 bytes −261‎ →‎Metamathematics: c/e undo

curprev 05:5205:52, 25 December 2015‎ Alan U. Kennington talk contribs‎ m 9,569 bytes −14‎ Undid revision 696125866 by 140.180.247.151 (talk) The original grammar was correct. The "corrected" grammar is wrong. undo

curprev 15:2315:23, 22 December 2015‎ Alan U. Kennington talk contribs‎ 9,583 bytes +26‎ →‎References: Added links for Mendelson and Shoenfield. undo

curprev 02:2102:21, 21 December 2015‎ 140.180.247.151 talk‎ 9,557 bytes +14‎ →‎Axioms: Improve grammar undo

curprev 04:1504:15, 8 September 2015‎ 75.115.54.188 talk‎ 9,543 bytes −25‎ →‎Axioms undo
curprev 04:1404:14, 8 September 2015‎ 75.115.54.188 talk‎ 9,568 bytes +25‎ →‎Axioms undo

curprev 20:2320:23, 28 January 2015‎ Dominus talk contribs‎ 9,543 bytes +6‎ →‎Axioms: explicit multiplication signs for clarity undo

curprev 07:3307:33, 23 October 2014‎ AnomieBOT talk contribs‎ m 9,537 bytes +18‎ Dating maintenance tags: {{Clarify}} undo
curprev 07:1207:12, 23 October 2014‎ Jochen Burghardt talk contribs‎ 9,519 bytes +92‎ →‎Metamathematics undo
curprev 06:5906:59, 23 October 2014‎ AnomieBOT talk contribs‎ m 9,427 bytes +18‎ Dating maintenance tags: {{Clarify}} undo

17 October 2023

3 September 2023

26 August 2023

19 August 2023

12 July 2023

28 January 2023

15 November 2022

24 August 2022

24 October 2021

23 October 2021

30 August 2021

18 August 2021

17 April 2021

3 September 2020

29 April 2020

13 February 2020

6 January 2020

11 December 2019

8 December 2019

7 December 2019

18 August 2019

9 August 2019

9 April 2019

24 March 2019

14 December 2018

12 November 2018

10 December 2017

1 February 2017

20 January 2017

3 January 2017

3 December 2016

30 July 2016

18 March 2016

25 December 2015

22 December 2015

21 December 2015

8 September 2015

28 January 2015

23 October 2014