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 01:2201:22, 10 July 2012‎ Gene Ward Smith talk contribs‎ 6,950 bytes −412‎ some corrections undo

curprev 17:4817:48, 30 June 2012‎ 72.229.39.72 talk‎ 7,651 bytes +756‎ No edit summary undo
curprev 17:2417:24, 30 June 2012‎ 72.229.39.72 talk‎ 6,895 bytes +758‎ more clarity undo

curprev 19:5019:50, 29 June 2012‎ 71.230.120.206 talk‎ 6,137 bytes +16‎ No edit summary undo
curprev 06:4706:47, 29 June 2012‎ 71.230.120.206 talk‎ 6,121 bytes +472‎ No edit summary undo

curprev 02:5902:59, 19 June 2012‎ 115.64.225.126 talk‎ 5,649 bytes +30‎ →‎From the compactness theorem: Expand ZFC acronym undo

curprev 17:0717:07, 8 January 2011‎ 85.130.107.83 talk‎ 5,619 bytes +12‎ Forgot to correct "largest" in the whole paragraph undo

curprev 22:3022:30, 5 January 2011‎ 85.130.107.83 talk‎ 5,607 bytes −16‎ A small correction on the form of axioms of P* undo
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

10 July 2012

6 July 2012

30 June 2012

29 June 2012

19 June 2012

8 January 2011

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