Model complete theory: 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 00:4700:47, 21 September 2023 GraziePrego talk contribs 4,531 bytes +46 Adding short description: "Concept in model theory" undo Tag: Shortdesc helper

curprev 03:1203:12, 1 September 2023 Marc Schroeder talk contribs m 4,485 bytes +12 →References: redirection rerouted to redirected article undo
curprev 03:0903:09, 1 September 2023 Marc Schroeder talk contribs m 4,473 bytes +274 uniform way of referencing throughout undo

curprev 23:2923:29, 30 August 2023 Marc Schroeder talk contribs m 4,199 bytes +34 →References undo
curprev 23:1723:17, 30 August 2023 Marc Schroeder talk contribs m 4,165 bytes +167 No edit summary undo

curprev 20:2620:26, 9 May 2022 2a02:1812:110c:dc00:7dd4:8560:8de1:e76b talk 3,998 bytes +17 No edit summary undo

curprev 19:3019:30, 15 January 2022 Mgkrupa talk contribs 3,981 bytes +12 Added {{Mathematical logic}} undo

curprev 17:2717:27, 14 August 2021 Tom.Reding talk contribs m 3,969 bytes +20 +{{Authority control}} (1 ID from Wikidata), WP:GenFixes on undo Tag: AWB

curprev 15:1715:17, 29 January 2021 Monkbot talk contribs m 3,949 bytes +2 Task 18 (cosmetic): eval 2 templates: hyphenate params (2×); undo Tag: AWB

curprev 17:3317:33, 16 January 2021 2a01:e35:2eab:6200:68c4:2152:330a:b826 talk 3,947 bytes +48 →Examples: Corrected the model completion of the theory of equivalence relations. undo

curprev 09:2409:24, 17 December 2020 WikiCleanerBot talk contribs m 3,899 bytes −20 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation - Link equal to linktext) undo Tag: WPCleaner

curprev 18:3318:33, 24 May 2020 2001:861:3ac0:4fa0:e009:b6d6:3227:c00d talk 3,919 bytes +31 No edit summary undo

curprev 18:3618:36, 24 September 2019 Zaunlen talk contribs 3,888 bytes +293 Added an important sufficient condition for completeness of model-complete theories. undo

curprev 21:1321:13, 4 August 2019 67.166.24.86 talk 3,595 bytes +3 →Model companion and model completion: grammar undo Tags: Mobile edit Mobile web edit

curprev 07:3307:33, 18 January 2019 Michael Hardy talk contribs 3,592 bytes +17 No edit summary undo
curprev 07:3207:32, 18 January 2019 Michael Hardy talk contribs 3,575 bytes +2 No edit summary undo

curprev 21:5421:54, 17 January 2019 Michael Hardy talk contribs 3,573 bytes +4 →top undo

curprev 20:4920:49, 22 June 2016 92.92.9.93 talk 2,907 bytes −121 →Examples: I deleted an incorrect example. undo

curprev 09:1109:11, 21 April 2016 Turms talk contribs m 3,028 bytes +21 Reorganizing the examples and separating the non-examples. undo

curprev 06:4606:46, 18 March 2013 Addbot talk contribs m 3,007 bytes −27 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q6888319 undo

curprev 16:2616:26, 30 July 2012 EmilJ talk contribs 3,034 bytes +87 Undid revision 504953496 by EmilJ (talk) No, wait, it wasn't. Sorry undo
curprev 16:0616:06, 30 July 2012 EmilJ talk contribs 2,947 bytes −87 Undid revision 504938895 by Rodya mirov (talk) The original was correct. undo
curprev 14:1614:16, 30 July 2012 Rodya mirov talk contribs 3,034 bytes +87 Fixed a significant mathematical error; QE is equivalent to model completion only in restricted circumstances. undo

curprev 00:2300:23, 2 September 2011 Headbomb talk contribs m 2,947 bytes −96 Various citation cleanup (identifiers mostly) using AWB undo

curprev 14:1814:18, 11 April 2011 EmilJ talk contribs 3,043 bytes +228 →Examples: fix a confusing example undo

curprev 16:3616:36, 10 September 2010 Citation bot 1 talk contribs m 2,815 bytes 0 Citations: [Pu184]Misc citation tidying. You can use this bot yourself. Report bugs here. undo

curprev 16:4416:44, 13 July 2010 Citation bot 1 talk contribs m 2,815 bytes −1 Citations: [Pu173]Tweaked: unused_data. You can use this bot yourself! Report bugs here. undo

curprev 21:1121:11, 15 November 2009 Waltpohl talk contribs m 2,816 bytes +64 →Examples: dab a bunch of stuff undo

curprev 02:3902:39, 8 November 2009 Charles Moss talk contribs 2,752 bytes +2 Corrected intro undo

curprev 04:1804:18, 20 July 2009 SieBot talk contribs m 2,750 bytes +27 robot Adding: sv:Modellfullständig undo

curprev 20:2320:23, 16 December 2008 Chenxlee talk contribs m 2,723 bytes −85 De-supped the asterixes (asterices?) undo

curprev 16:5416:54, 22 October 2008 Hans Adler talk contribs 2,808 bytes +114 move additional characterisation here from model theory undo

curprev 05:4905:49, 14 October 2008 Citation bot talk contribs m 2,694 bytes +15 Citation maintenance. Formatted: pages, unused_data. You can use this bot yourself! Please report any bugs. undo

curprev 10:0210:02, 15 March 2008 Hans Adler talk contribs m 2,679 bytes −2 →Model companion and model completion: remove spurious "q" undo
curprev 09:5409:54, 15 March 2008 Hans Adler talk contribs m 2,681 bytes 0 →Examples: sp undo
curprev 02:4902:49, 15 March 2008 R.e.b. talk contribs 2,681 bytes +369 →Examples: expand undo

curprev 17:2117:21, 24 February 2008 R.e.b. talk contribs 714 bytes +51 Abraham Robinson undo
curprev 17:1817:18, 24 February 2008 R.e.b. talk contribs 663 bytes +663 ←Created page with 'In model theory, a theory is called '''model complete''' if every embedding of models is an elementary equivalence. ==Examples== *The theory of dense linear o...'

21 September 2023

1 September 2023

30 August 2023

9 May 2022

15 January 2022

14 August 2021

29 January 2021

16 January 2021

17 December 2020

24 May 2020

24 September 2019

4 August 2019

18 January 2019

17 January 2019

16 January 2019

22 June 2016

21 April 2016

18 March 2013

30 July 2012

2 September 2011

11 April 2011

10 September 2010

13 July 2010

15 November 2009

8 November 2009

20 July 2009

16 December 2008

22 October 2008

14 October 2008

15 March 2008

29 February 2008

24 February 2008