Non-standard model of 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 22:2222:22, 5 January 2011‎ 85.130.107.83 talk‎ 5,623 bytes +68‎ Elaborate on satisfaction of finite subsets of P* undo

curprev 20:3920:39, 4 January 2011‎ Xqbot talk contribs‎ m 5,555 bytes +32‎ r2.5.2) (robot Adding: es:Aritmética no estándar undo

curprev 14:3314:33, 10 November 2010‎ CBM talk contribs‎ 5,523 bytes +24‎ →‎From the incompleteness theorems: copyedit undo
curprev 14:3214:32, 10 November 2010‎ CBM talk contribs‎ 5,499 bytes +2‎ →‎From the incompleteness theorems: indent undo
curprev 14:3114:31, 10 November 2010‎ CBM talk contribs‎ 5,497 bytes +299‎ Rearrange undo
curprev 14:1714:17, 10 November 2010‎ CBM talk contribs‎ 5,198 bytes +1,324‎ add section on incompleteness theorems undo

curprev 09:0609:06, 24 October 2010‎ Tkuvho talk contribs‎ 3,874 bytes +341‎ →‎Existence undo

curprev 20:5320:53, 23 October 2010‎ WMC talk contribs‎ m 3,533 bytes −5‎ →‎Existence: rephrase undo

curprev 00:0000:00, 4 September 2010‎ Xqbot talk contribs‎ m 3,538 bytes +35‎ robot Adding: fr:Arithmétique non standard undo

curprev 08:0008:00, 24 May 2010‎ AshtonBenson talk contribs‎ m 3,503 bytes +3‎ →‎Countable models undo

curprev 22:0622:06, 8 December 2009‎ Michael Hardy talk contribs‎ m 3,500 bytes +6‎ No edit summary undo

curprev 17:2117:21, 2 December 2009‎ Tkuvho talk contribs‎ m 3,494 bytes 0‎ moved Non-standard arithmetic to Non-standard model of arithmetic: arithmetic is standard, model is not undo

curprev 12:5812:58, 30 November 2009‎ Tkuvho talk contribs‎ 3,494 bytes +35‎ →‎References undo
curprev 12:4012:40, 30 November 2009‎ Tkuvho talk contribs‎ 3,459 bytes +265‎ No edit summary undo

curprev 11:4911:49, 4 July 2009‎ 69.253.249.241 talk‎ 3,397 bytes +317‎ →‎Existence undo

curprev 07:5407:54, 26 June 2009‎ SmackBot talk contribs‎ m 3,080 bytes −47‎ Standard headings/general fixes undo

curprev 22:3122:31, 8 May 2009‎ 69.181.216.178 talk‎ 3,127 bytes −1‎ →‎Galaxy of an hypernatural number: changed "an hypernatural" to "a hypernatural" undo

curprev 03:0403:04, 6 April 2009‎ 76.167.77.165 talk‎ 3,128 bytes +1‎ →‎Galaxy of an hypernatural number undo

curprev 03:0803:08, 26 December 2008‎ Mike Fikes talk contribs‎ m 3,127 bytes +11‎ →‎Galaxy of an hypernatural number: c/e: Replace $ with <math> so that notation is rendered undo

curprev 16:2716:27, 15 December 2008‎ Titi2~enwiki talk contribs‎ 3,116 bytes +167‎ →‎References: external link to University of Laval (Canada) undo
curprev 16:2216:22, 15 December 2008‎ Titi2~enwiki talk contribs‎ 2,949 bytes +231‎ galaxy of an hypernatural number/translated from french wikipedia undo

curprev 08:2208:22, 4 December 2008‎ Jason22~enwiki talk contribs‎ 2,718 bytes 0‎ corrected mathematical typo: order type of integers is &omega* + ω undo

curprev 01:1301:13, 12 August 2008‎ Trovatore talk contribs‎ m 2,718 bytes +2‎ →‎Countable models: parens undo

curprev 17:1817:18, 18 March 2008‎ Xantharius talk contribs‎ m 2,716 bytes −58‎ Moved inline PNG equations to HTML for consistency undo

curprev 18:1118:11, 17 February 2008‎ Algebraist talk contribs‎ 2,774 bytes +14‎ this article should definitely include 'first-order' somewhere undo

curprev 12:1512:15, 20 November 2007‎ Hans Adler talk contribs‎ 2,760 bytes −36‎ rm tagging as uncategorized undo

curprev 17:2417:24, 11 November 2007‎ Nortexoid talk contribs‎ m 2,796 bytes +4‎ →‎Countable models undo

curprev 14:4814:48, 20 October 2007‎ CBM talk contribs‎ 2,792 bytes +70‎ Categorize undo
curprev 02:5202:52, 20 October 2007‎ Alaibot talk contribs‎ m 2,722 bytes +36‎ Robot: tagging uncategorised page undo

curprev 03:5703:57, 6 October 2007‎ Spambit talk contribs‎ 2,686 bytes +12‎ →‎Countable models undo
curprev 03:5603:56, 6 October 2007‎ Spambit talk contribs‎ m 2,674 bytes 0‎ →‎Countable models undo

curprev 20:5020:50, 10 September 2007‎ Zero sharp talk contribs‎ 973 bytes +122‎ compactness theorem undo

curprev 16:1516:15, 23 November 2006‎ Algebraist talk contribs‎ 851 bytes +5‎ refined stub type undo

curprev 15:2515:25, 5 August 2006‎ Bernard the Varanid talk contribs‎ 846 bytes +15‎ No edit summary undo

curprev 23:5123:51, 3 August 2006‎ Bernard the Varanid talk contribs‎ 831 bytes +2‎ No edit summary undo
curprev 23:4823:48, 3 August 2006‎ Bernard the Varanid talk contribs‎ 829 bytes −8‎ No edit summary undo
curprev 23:4723:47, 3 August 2006‎ Bernard the Varanid talk contribs‎ 837 bytes +267‎ No edit summary undo
curprev 22:5022:50, 3 August 2006‎ Bernard the Varanid talk contribs‎ 570 bytes +570‎ No edit summary

5 January 2011

4 January 2011

10 November 2010

24 October 2010

23 October 2010

4 September 2010

24 May 2010

8 December 2009

2 December 2009

30 November 2009

9 August 2009

4 July 2009

26 June 2009

8 May 2009

6 April 2009

26 December 2008

15 December 2008

4 December 2008

12 August 2008

18 March 2008

17 February 2008

20 November 2007

11 November 2007

20 October 2007

6 October 2007

22 September 2007

10 September 2007

23 November 2006

5 August 2006

3 August 2006