Robinson arithmetic: Revision history

29 March 2012

• curprev 18:0118:01, 29 March 2012‎ Quondum talk contribs‎ 8,662 bytes +15‎ →‎Variant axiomatizations: Consistency of formatting (removed only <math> on page) undo
• curprev 14:3614:36, 29 March 2012‎ CBM talk contribs‎ 8,647 bytes +12‎ Change two dashes to en dashes undo

28 March 2012

• curprev 21:0821:08, 28 March 2012‎ CBM talk contribs‎ 8,635 bytes −333‎ Please do not unilaterally change the way that mathematics is formatted in existing articles undo
• curprev 19:3619:36, 28 March 2012‎ Quondum talk contribs‎ m 8,968 bytes +10‎ →‎Axioms: Consistent formating of axioms with {{math}} undo

17 March 2012

• curprev 15:3315:33, 17 March 2012‎ Incnis Mrsi talk contribs‎ 8,958 bytes +323‎ the term "first-order logic with identity" exists, but the corresponding link is equality (mathematics), not identity (mathematics). also various typography tweaks undo

5 January 2012

• curprev 11:0011:00, 5 January 2012‎ Marc van Leeuwen talk contribs‎ m 8,635 bytes −4‎ →‎Metamathematics: redundantly repeated wikilink removed undo

13 August 2011

• curprev 00:1200:12, 13 August 2011‎ 63.249.87.76 talk‎ 8,639 bytes +18‎ changed "crucial" to "important and interesting" undo

28 July 2011

• curprev 21:4021:40, 28 July 2011‎ CBM talk contribs‎ 8,621 bytes −4,121‎ →‎References: Try to match formatting to oldid 62297677, when it's clear from there, and otherwise making an effort to keep things in one style. Article was established w/o citation templates. undo
• curprev 21:3121:31, 28 July 2011‎ CBM talk contribs‎ 12,742 bytes +3,840‎ Second edit to put references in the style that had been established. Will need one more edit to unify formatting in the references section undo
• curprev 21:2521:25, 28 July 2011‎ CBM talk contribs‎ 8,902 bytes −1,109‎ Undid revision 441931575 by Bender235 (talk) - WP:CITEVAR. Will make another edit to fix some footnotes that were mistakenly added in the past against the established ref style w/o them undo
• curprev 20:3220:32, 28 July 2011‎ Bender235 talk contribs‎ 10,011 bytes +1,109‎ citation cleanup undo

8 July 2011

• curprev 12:5912:59, 8 July 2011‎ 213.122.41.18 talk‎ 8,902 bytes +12‎ →‎Metamathematics undo
• curprev 12:5612:56, 8 July 2011‎ 213.122.41.18 talk‎ 8,890 bytes +3‎ →‎Metamathematics undo
• curprev 12:5412:54, 8 July 2011‎ 213.122.41.18 talk‎ 8,887 bytes +124‎ →‎Metamathematics undo

17 June 2011

• curprev 18:2118:21, 17 June 2011‎ JoshuaZ talk contribs‎ m 8,763 bytes +10‎ →‎See also: correct title undo
• curprev 18:2018:20, 17 June 2011‎ JoshuaZ talk contribs‎ 8,753 bytes +24‎ →‎See also: Gentzen's theorem undo

9 June 2011

• curprev 23:4423:44, 9 June 2011‎ 98.204.215.95 talk‎ 8,729 bytes +4‎ No edit summary undo

9 March 2011

• curprev 08:1408:14, 9 March 2011‎ Palnot talk contribs‎ 8,725 bytes −13‎ style edits to intro undo

13 February 2011

• curprev 13:3413:34, 13 February 2011‎ 24.80.225.24 talk‎ 8,738 bytes +4‎ →‎Axioms undo

2 December 2010

• curprev 20:5520:55, 2 December 2010‎ CBM talk contribs‎ 8,734 bytes −549‎ →‎Addition eliminable: Remove section as suggested on talk page undo
• curprev 19:2219:22, 2 December 2010‎ EmilJ talk contribs‎ 9,283 bytes −206‎ rm non-notable draft lecture notes that give hardly anything relevant besides the definition of Robinson arithmetic undo
• curprev 19:1619:16, 2 December 2010‎ EmilJ talk contribs‎ m 9,489 bytes +305‎ better ref; fmt undo
• curprev 15:1415:14, 2 December 2010‎ CBM talk contribs‎ 9,184 bytes +89‎ →‎Metamathematics: Copyedit some, as motivated on talk page undo
• curprev 13:5213:52, 2 December 2010‎ EmilJ talk contribs‎ 9,095 bytes +461‎ →‎Metamathematics: Discuss 2nd incompleteness thm explicitly, with a reference. "Precisely" is unwarranted. undo
• curprev 12:0612:06, 2 December 2010‎ EmilJ talk contribs‎ 8,634 bytes −220‎ Undid revision 399996479 by Grudeu (talk) No, Gödel's second incompleteness is perfectly applicable to Q. undo

1 December 2010

• curprev 21:2921:29, 1 December 2010‎ Grudeu talk contribs‎ m 8,854 bytes +220‎ →‎Metamathematics undo

13 November 2010

• curprev 21:0121:01, 13 November 2010‎ Fcarreiro talk contribs‎ m 8,634 bytes −1‎ →‎Addition eliminable: Grammatical mistake. undo

8 November 2010

• curprev 17:1517:15, 8 November 2010‎ Tkuvho talk contribs‎ 8,635 bytes +20‎ →‎References undo
• curprev 17:1217:12, 8 November 2010‎ Tkuvho talk contribs‎ 8,615 bytes −9‎ No edit summary undo
• curprev 02:3002:30, 8 November 2010‎ 174.119.186.126 talk‎ 8,624 bytes +320‎ →‎Metamathematics: mention computable non-standard models undo

25 October 2010

• curprev 01:1701:17, 25 October 2010‎ 174.119.186.126 talk‎ 8,304 bytes −1‎ →‎Metamathematics: shift another sentence undo
• curprev 01:1601:16, 25 October 2010‎ 174.119.186.126 talk‎ 8,305 bytes −37‎ →‎Metamathematics: "Q proves ..." -> "therefore" -- the former usually refers to formal theorems of Q ; reorg a bit while I have this open. undo

4 August 2010

• curprev 11:3711:37, 4 August 2010‎ EmilJ talk contribs‎ 8,342 bytes −5‎ fix links and an error undo

2 August 2010

• curprev 13:1313:13, 2 August 2010‎ Zunaid talk contribs‎ m 8,347 bytes −84‎ Disambiguated: undecidable → undecidable problem; Unlinked: Undecidable, Incomplete, Decidable using Dab solver undo

19 May 2010

• curprev 15:2415:24, 19 May 2010‎ Tomaxer talk contribs‎ 8,431 bytes +29‎ →‎References: Updated dead link undo

27 April 2010

• curprev 03:4203:42, 27 April 2010‎ 132.181.160.42 talk‎ 8,402 bytes +40‎ rework intro; typographical corrections undo

20 April 2010

• curprev 07:2507:25, 20 April 2010‎ Pierre de Lyon talk contribs‎ 8,362 bytes +54‎ →‎Addition eliminable undo

12 March 2010

• curprev 18:0618:06, 12 March 2010‎ 71.209.145.7 talk‎ 8,308 bytes −6‎ removed unnecessarily technical word "infix" undo

18 January 2010

• curprev 20:2520:25, 18 January 2010‎ 66.127.55.192 talk‎ 8,314 bytes 0‎ →‎Metamathematics: change "Peano axioms" to "Peano arithmetic", see talk page undo

24 November 2009

• curprev 14:5714:57, 24 November 2009‎ 90.44.18.74 talk‎ 8,314 bytes 0‎ No edit summary undo
• curprev 14:5514:55, 24 November 2009‎ 90.44.18.74 talk‎ 8,314 bytes +33‎ →‎link with french version undo

23 November 2009

• curprev 15:0715:07, 23 November 2009‎ Jayme talk contribs‎ 8,281 bytes +7‎ →‎Variant axiomatizations: Added "strict" to "total order" undo

20 November 2009

• curprev 10:2110:21, 20 November 2009‎ AshtonBenson talk contribs‎ m 8,274 bytes +4‎ →‎Addition eliminable undo

18 August 2009

• curprev 15:4715:47, 18 August 2009‎ Hgintis talk contribs‎ m 8,270 bytes +3‎ No edit summary undo

24 July 2009

• curprev 12:5612:56, 24 July 2009‎ Colin McLarty talk contribs‎ m 8,267 bytes +138‎ Add in opening pargraph that Q is incompleteable. Colin undo

8 June 2009

• curprev 21:4321:43, 8 June 2009‎ Trovatore talk contribs‎ 8,129 bytes +5‎ →‎Metamathematics: null set -> empty set; surely this is what's intended undo

20 May 2009

• curprev 09:4309:43, 20 May 2009‎ Rich Farmbrough talk contribs‎ m 8,124 bytes +3‎ clean up- spelling "et al." and gen fixes using AWB undo

17 April 2009

• curprev 22:0422:04, 17 April 2009‎ AndrewHowse talk contribs‎ m 8,121 bytes +13‎ Disambig links to dab page Variable and general clean-up using AWB undo

17 December 2008

• curprev 11:0011:00, 17 December 2008‎ 130.149.12.168 talk‎ 8,108 bytes −82‎ →‎Metamathematics: in cardinals too, S x ≠ x (probably was something true but badly worded) undo

10 December 2008

• curprev 12:3112:31, 10 December 2008‎ EmilJ talk contribs‎ m 8,190 bytes +26‎ →‎Variant axiomatizations: fmt undo