Non-standard model of arithmetic: Revision history

8 January 2013

• curprev 18:0918:09, 8 January 2013‎ JamesMazur22 talk contribs‎ 8,248 bytes +13‎ making spelling of "non-standard" consistent undo

20 December 2012

• curprev 16:3716:37, 20 December 2012‎ JamesMazur22 talk contribs‎ m 8,235 bytes 0‎ →‎Structure of countable non-standard models: grammar undo

17 October 2012

• curprev 02:2602:26, 17 October 2012‎ FrescoBot talk contribs‎ m 8,235 bytes −7‎ Bot: link syntax/spacing and minor changes undo
• curprev 00:5900:59, 17 October 2012‎ EmausBot talk contribs‎ m 8,242 bytes +13‎ r2.7.2+) (Robot: Modifying fr:Modèle non standard de l'arithmétique undo

20 September 2012

• curprev 03:2303:23, 20 September 2012‎ 100.2.84.178 talk‎ 8,229 bytes +2‎ →‎Structure of countable non-standard models: Spelling fixes undo

3 September 2012

• curprev 08:5708:57, 3 September 2012‎ AnomieBOT talk contribs‎ m 8,227 bytes +20‎ Dating maintenance tags: {{Citation needed}} undo
• curprev 08:3708:37, 3 September 2012‎ Robertinventor talk contribs‎ 8,207 bytes +1‎ →‎Structure of countable non-standard models undo
• curprev 08:3608:36, 3 September 2012‎ Robertinventor talk contribs‎ 8,206 bytes −6‎ →‎Structure of countable non-standard models undo
• curprev 08:3608:36, 3 September 2012‎ Robertinventor talk contribs‎ 8,212 bytes +9‎ →‎Structure of countable non-standard models undo
• curprev 08:3508:35, 3 September 2012‎ Robertinventor talk contribs‎ m 8,203 bytes −1‎ →‎Structure of countable non-standard models undo
• curprev 08:3508:35, 3 September 2012‎ Robertinventor talk contribs‎ 8,204 bytes −2‎ →‎Structure of countable non-standard models undo
• curprev 08:3508:35, 3 September 2012‎ Robertinventor talk contribs‎ 8,206 bytes +15‎ →‎Structure of countable non-standard models undo
• curprev 08:3408:34, 3 September 2012‎ Robertinventor talk contribs‎ 8,191 bytes +38‎ →‎Structure of countable non-standard models undo
• curprev 08:3108:31, 3 September 2012‎ Robertinventor talk contribs‎ 8,153 bytes +45‎ →‎Structure of countable non-standard models undo
• curprev 08:2908:29, 3 September 2012‎ Robertinventor talk contribs‎ 8,108 bytes +66‎ →‎Structure of countable non-standard models undo
• curprev 08:2708:27, 3 September 2012‎ Robertinventor talk contribs‎ 8,042 bytes +1‎ →‎Structure of countable non-standard models undo
• curprev 08:2608:26, 3 September 2012‎ Robertinventor talk contribs‎ 8,041 bytes +143‎ →‎Structure of countable non-standard models undo
• curprev 08:2508:25, 3 September 2012‎ Robertinventor talk contribs‎ 7,898 bytes +582‎ →‎Structure of countable non-standard models undo
• curprev 08:1408:14, 3 September 2012‎ Robertinventor talk contribs‎ 7,316 bytes +161‎ →‎Structure of countable non-standard models undo
• curprev 07:5907:59, 3 September 2012‎ Robertinventor talk contribs‎ 7,155 bytes +75‎ →‎Structure of countable non-standard models undo
• curprev 07:5707:57, 3 September 2012‎ Robertinventor talk contribs‎ 7,080 bytes +2‎ →‎Structure of countable non-standard models undo
• curprev 07:5707:57, 3 September 2012‎ Robertinventor talk contribs‎ 7,078 bytes +51‎ →‎Structure of countable non-standard models undo
• curprev 07:5507:55, 3 September 2012‎ Robertinventor talk contribs‎ 7,027 bytes −2‎ →‎Structure of countable non-standard models undo
• curprev 07:5507:55, 3 September 2012‎ Robertinventor talk contribs‎ 7,029 bytes +563‎ →‎Structure of countable non-standard models undo
• curprev 07:4507:45, 3 September 2012‎ Robertinventor talk contribs‎ 6,466 bytes +857‎ →‎Structure of countable non-standard models undo

30 August 2012

• curprev 22:0422:04, 30 August 2012‎ 62.158.139.49 talk‎ 5,609 bytes +3‎ Changes the term existence with construction. (The existence, as the article says itself, is already evident by incompleteness) undo

22 August 2012

• curprev 07:5807:58, 22 August 2012‎ 99.232.139.49 talk‎ 5,606 bytes +2‎ →‎Arithmetic unsoundness for models with ~G true undo
• curprev 07:5707:57, 22 August 2012‎ 99.232.139.49 talk‎ 5,604 bytes −110‎ →‎Arithmetic unsoundness for models with ~G true undo

10 August 2012

• curprev 01:1901:19, 10 August 2012‎ FrescoBot talk contribs‎ m 5,714 bytes +1‎ Bot: link syntax/spacing undo

2 August 2012

• curprev 02:2602:26, 2 August 2012‎ Robertinventor talk contribs‎ 5,713 bytes +31‎ →‎Arithmetic unsoundness for models with ~G true undo

20 July 2012

• curprev 22:2922:29, 20 July 2012‎ Robertinventor talk contribs‎ 5,682 bytes +14‎ →‎From the incompleteness theorems undo
• curprev 22:1722:17, 20 July 2012‎ Robertinventor talk contribs‎ 5,668 bytes +1‎ →‎From the incompleteness theorems undo
• curprev 22:1722:17, 20 July 2012‎ Robertinventor talk contribs‎ 5,667 bytes +33‎ →‎From the incompleteness theorems undo
• curprev 22:1222:12, 20 July 2012‎ Robertinventor talk contribs‎ 5,634 bytes −3,712‎ →‎From the incompleteness theorems undo
• curprev 22:1122:11, 20 July 2012‎ Robertinventor talk contribs‎ 9,346 bytes +1,985‎ Undid revision 503346931 by Robertinventor (talk) undo
• curprev 21:5421:54, 20 July 2012‎ Robertinventor talk contribs‎ 7,361 bytes −1,985‎ No edit summary undo

16 July 2012

• curprev 13:5613:56, 16 July 2012‎ Arcandam talk contribs‎ 9,346 bytes −1‎ →‎From the incompleteness theorems: clean up, typos fixed: satisifies → satisfies using AWB undo

15 July 2012

• curprev 03:5803:58, 15 July 2012‎ Michael Hardy talk contribs‎ 9,347 bytes −3‎ No edit summary undo

10 July 2012

• curprev 15:3115:31, 10 July 2012‎ AnomieBOT talk contribs‎ m 9,350 bytes +53‎ Dating maintenance tags: {{Expert-subject}} {{Refimprove}} {{Dubious}} undo
• curprev 11:1111:11, 10 July 2012‎ Robertinventor talk contribs‎ 9,297 bytes +11‎ No edit summary undo
• curprev 10:4210:42, 10 July 2012‎ Robertinventor talk contribs‎ 9,286 bytes +44‎ No edit summary undo
• curprev 09:4809:48, 10 July 2012‎ Robertinventor talk contribs‎ 9,242 bytes +36‎ No edit summary undo
• curprev 09:4409:44, 10 July 2012‎ Robertinventor talk contribs‎ 9,206 bytes +95‎ No edit summary undo
• curprev 09:0909:09, 10 July 2012‎ Robertinventor talk contribs‎ 9,111 bytes +11‎ →‎From the incompleteness theorems undo
• curprev 08:5108:51, 10 July 2012‎ Robertinventor talk contribs‎ 9,100 bytes +11‎ →‎From the incompleteness theorems undo
• curprev 08:4808:48, 10 July 2012‎ Robertinventor talk contribs‎ 9,089 bytes +19‎ No edit summary undo
• curprev 03:1103:11, 10 July 2012‎ 71.230.120.206 talk‎ 9,070 bytes +546‎ Added back some more content undo
• curprev 03:0203:02, 10 July 2012‎ 71.230.120.206 talk‎ 8,524 bytes −64‎ →‎From the incompleteness theorems undo
• curprev 03:0103:01, 10 July 2012‎ 71.230.120.206 talk‎ 8,588 bytes +1‎ No edit summary undo
• curprev 03:0003:00, 10 July 2012‎ 71.230.120.206 talk‎ 8,587 bytes +1,637‎ Restored unexplained deletion of sourced content, added new references, changed misleading statements undo