Non-standard model: 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 16:2316:23, 27 April 2025 Mooonswimmer talk contribs 1,148 bytes +87 Adding local short description: "Model in mathematical logic not isomorphic to the standard model", overriding Wikidata description "model of a theory that is not isomorphic to the intended model" undo Tag: Shortdesc helper

curprev 05:4105:41, 6 January 2025 Tule-hog talk contribs 1,061 bytes +18 retag stub, WP:STUBLEN undo

curprev 17:5617:56, 1 July 2021 Jochen Burghardt talk contribs 1,043 bytes −65 →See also: linked above undo Tag: Manual revert

curprev 11:0811:08, 6 October 2015 Davius talk contribs 1,108 bytes +65 →See also undo Tag: Reverted

curprev 13:0913:09, 28 November 2014 Brirush talk contribs m 1,043 bytes −20 No edit summary undo
curprev 13:0813:08, 28 November 2014 Brirush talk contribs m 1,063 bytes +138 No edit summary undo

curprev 23:4123:41, 18 October 2014 Hyacinth talk contribs 925 bytes +13 →References: {{Mathematical logic}} undo

curprev 12:5312:53, 25 October 2013 EmilJ talk contribs 912 bytes −6 what?? undo

curprev 14:0114:01, 16 October 2013 Jose Brox talk contribs m 918 bytes +39 Fixed grammar undo

curprev 22:2022:20, 21 March 2013 Addbot talk contribs m 879 bytes −52 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q3318128 undo

curprev 22:4122:41, 24 July 2012 Mild Bill Hiccup talk contribs m 931 bytes +30 dash undo

curprev 02:1002:10, 8 March 2012 Luckas-bot talk contribs m 901 bytes +23 r2.7.1) (Robot: Adding zh:非标准模型 undo

curprev 12:0412:04, 20 March 2011 CBM talk contribs 878 bytes −529 Undid revision 419749393 by 184.1.9.237 (talk) - this article is on mathematical logic, not particle physics undo
curprev 05:0805:08, 20 March 2011 184.1.9.237 talk 1,407 bytes +529 No edit summary undo

curprev 01:1301:13, 15 February 2011 CapitalR talk contribs m 878 bytes +245 Rollback to complete history merge undo
curprev 01:1301:13, 15 February 2011 CapitalR talk contribs m 633 bytes 0 moved Nonstandard model to Non-standard model: Moving revisions as part of history merge undo

curprev 19:3919:39, 26 November 2010 Gregbard talk contribs m 878 bytes +9 Template:Logic using AWB undo

curprev 09:0909:09, 30 January 2010 Gandalf61 talk contribs 869 bytes −363 Undid revision 340786257 by IsleLaMotte (talk) rv book spam undo

curprev 21:2021:20, 29 January 2010 IsleLaMotte talk contribs 1,232 bytes +363 No edit summary undo

curprev 08:4208:42, 4 December 2009 Tkuvho talk contribs 869 bytes +9 No edit summary undo

curprev 22:2922:29, 13 November 2009 CBM talk contribs 860 bytes −48 Rm category; article is already marked as a stub (using LWB) undo

curprev 19:5719:57, 12 September 2009 Erik9bot talk contribs 908 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

curprev 18:3118:31, 26 May 2009 DrilBot talk contribs m 859 bytes +36 Check Wikipedia cleanup (Misplaced interwikis and categories) + gen. fixes undo

curprev 02:1602:16, 5 May 2009 Hans Adler talk contribs 823 bytes +78 rm silly link undo

curprev 00:1900:19, 24 April 2009 Gregbard talk contribs 745 bytes +1 formal interpretation using AWB undo

curprev 00:3000:30, 27 May 2008 Gregbard talk contribs m 744 bytes +41 see also undo

curprev 21:2221:22, 26 November 2007 Hans Adler talk contribs m 703 bytes +26 link for first-order; standardized spelling of "non-standard" undo
curprev 19:3919:39, 26 November 2007 Michael Hardy talk contribs 677 bytes +44 You really cannot assume the lay reader finding this page will know that "model theory" is not about posing in front of cameras in a bikini or building toy airplanes or the like. undo

curprev 21:2321:23, 23 November 2007 Hans Adler talk contribs 633 bytes 0 moving "from nonstandard model" for naming consistency undo

curprev 15:4215:42, 10 November 2007 Nortexoid talk contribs m 633 bytes +60 No edit summary undo

curprev 02:3802:38, 13 June 2007 DesolateReality talk contribs 573 bytes −455 clarified some ambiguities undo

curprev 04:3504:35, 6 April 2007 82.69.50.30 talk 1,028 bytes +125 No edit summary undo

curprev 02:4102:41, 22 January 2007 Zero sharp talk contribs 903 bytes +259 expanded 1st pgrph, added ref to Compactness theorem. undo

curprev 16:3016:30, 23 November 2006 Algebraist talk contribs m 644 bytes −7 refined stub type, added cat undo
curprev 16:2916:29, 23 November 2006 Algebraist talk contribs 651 bytes +5 refined stub type undo

curprev 18:5618:56, 7 November 2006 Bluebot talk contribs 646 bytes +35 tagging, added uncategorised tag undo

curprev 00:5100:51, 13 October 2006 Spayrard talk contribs m 611 bytes +28 interwiki link undo

curprev 15:2415:24, 5 August 2006 Bernard the Varanid talk contribs 583 bytes −6 No edit summary undo
curprev 15:2415:24, 5 August 2006 Bernard the Varanid talk contribs 589 bytes +21 No edit summary undo

curprev 17:2817:28, 11 December 2003 Charles Matthews talk contribs m 35 bytes +35 No edit summary

27 April 2025

6 January 2025

1 July 2021

6 October 2015

28 November 2014

18 October 2014

25 October 2013

16 October 2013

21 March 2013

24 July 2012

8 March 2012

20 March 2011

15 February 2011

26 November 2010

30 January 2010

29 January 2010

4 December 2009

13 November 2009

12 September 2009

26 May 2009

5 May 2009

24 April 2009

27 May 2008

26 November 2007

23 November 2007

10 November 2007

13 June 2007

6 April 2007

22 January 2007

23 November 2006

7 November 2006

13 October 2006

5 August 2006

3 August 2006

11 December 2003