Type (model 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 11:2011:20, 3 April 2024‎ AlonGurny talk contribs‎ 14,017 bytes +8‎ Make clear that the prime field of fields of characteristic 0 is Q undo Tag: Visual edit

curprev 01:4201:42, 26 January 2024‎ Beland talk contribs‎ m 14,009 bytes −30‎ MOS:ELLIPSES (via WP:JWB) undo

curprev 18:2818:28, 21 September 2023‎ Trovatore talk contribs‎ 14,039 bytes +3‎ the article is not about the term undo
curprev 03:5703:57, 21 September 2023‎ GraziePrego talk contribs‎ 14,036 bytes +43‎ Adding local short description: "Term in model theory", overriding Wikidata description "term in model theory and related areas of mathematics" undo Tag: Shortdesc helper

curprev 00:2600:26, 9 January 2023‎ 81.110.184.237 talk‎ 13,993 bytes +191‎ No edit summary undo

curprev 21:5821:58, 20 December 2022‎ Paul Foxworthy talk contribs‎ m 13,802 bytes −4‎ →‎The omitting types theorem: Remove definite article WP:THE undo

curprev 04:4104:41, 13 October 2022‎ RDBrown talk contribs‎ 13,806 bytes +6‎ →‎References: tweak cite undo

curprev 19:5319:53, 15 January 2022‎ Mgkrupa talk contribs‎ 13,800 bytes +67‎ Added {{Mathematical logic}} undo

curprev 13:1313:13, 26 October 2021‎ 2a02:1812:110c:dc00:917f:7818:17b7:88c6 talk‎ 13,733 bytes +20‎ No edit summary undo

curprev 22:0622:06, 22 April 2020‎ Crisperdue talk contribs‎ m 13,713 bytes −1‎ Remove comma. undo

curprev 20:1720:17, 9 March 2020‎ Thepolm3 talk contribs‎ m 13,714 bytes −2‎ Revert undo Tags: Visual edit Mobile edit Mobile web edit
curprev 20:1220:12, 9 March 2020‎ Thepolm3 talk contribs‎ 13,716 bytes +2‎ →‎Formal definition: Ultraproduct is more standard than Ultrapower, and is indeed the name of the linked article undo Tags: Mobile edit Mobile web edit

curprev 18:5318:53, 19 February 2020‎ 212.112.100.83 talk‎ 13,714 bytes −18‎ No edit summary undo

curprev 08:5608:56, 31 January 2020‎ 2001:861:3ac0:4fa0:3483:7627:666e:209a talk‎ 13,732 bytes +4‎ →‎The omitting types theorem undo

curprev 19:0419:04, 3 November 2019‎ Arjayay talk contribs‎ m 13,728 bytes −4‎ Duplicate word removed undo

curprev 18:5818:58, 2 November 2019‎ 31.33.164.250 talk‎ 13,732 bytes +268‎ No edit summary undo

curprev 21:2621:26, 1 March 2019‎ 94.36.160.143 talk‎ 13,464 bytes +18‎ →‎Formal definition: missprint corrected undo

curprev 00:1500:15, 26 November 2018‎ Cydebot talk contribs‎ m 13,446 bytes −33‎ Robot - Removing category Equivalence classes per CFD at Wikipedia:Categories for discussion/Log/2018 November 13. undo

curprev 11:2611:26, 11 October 2018‎ Texvc2LaTeXBot talk contribs‎ m 13,479 bytes +2‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 18:1718:17, 22 February 2018‎ Dpleibovitz talk contribs‎ m 13,477 bytes +33‎ Category:Equivalence classes undo Tag: 2017 wikitext editor

curprev 14:3414:34, 24 September 2017‎ 37.175.71.165 talk‎ 13,444 bytes +36‎ →‎Examples of types undo Tags: Mobile edit Mobile web edit

curprev 02:1602:16, 20 June 2017‎ 70.179.130.166 talk‎ 13,408 bytes 0‎ →‎Examples of types undo

curprev 07:0707:07, 29 December 2016‎ Will120 talk contribs‎ 13,408 bytes +3,074‎ Reverted 3 edits by 1.47.73.208 (talk) to last revision by 2A02:C7F:C005:9F00:3505:BF8:8A4F:800A. (TW) undo
curprev 07:0407:04, 29 December 2016‎ 1.47.73.208 talk‎ 10,334 bytes −58‎ →‎References undo Tags: categories removed Mobile edit Mobile app edit
curprev 07:0307:03, 29 December 2016‎ 1.47.73.208 talk‎ 10,392 bytes −2,765‎ →‎Stone spaces undo Tags: section blanking Mobile edit Mobile app edit
curprev 07:0007:00, 29 December 2016‎ 1.47.73.208 talk‎ 13,157 bytes −251‎ No edit summary undo Tags: Mobile edit Mobile app edit

curprev 22:0122:01, 19 December 2016‎ 2a02:c7f:c005:9f00:3505:bf8:8a4f:800a talk‎ 13,408 bytes −25‎ →‎Formal definition undo

curprev 23:2423:24, 12 December 2016‎ 2a02:c7f:c005:9f00:476:36f8:4239:d099 talk‎ 13,433 bytes −11‎ No edit summary undo

curprev 15:1115:11, 23 November 2016‎ Al Beado talk contribs‎ m 13,444 bytes +7‎ →‎Examples of types: pedantry/clarification undo

curprev 18:0818:08, 30 November 2015‎ 109.203.140.178 talk‎ 13,437 bytes 0‎ typo undo

curprev 14:2614:26, 1 September 2015‎ Joriki talk contribs‎ 13,437 bytes +3‎ →‎Examples of types: fixed grammar undo Tag: Visual edit

curprev 05:5605:56, 8 August 2015‎ BattyBot talk contribs‎ m 13,434 bytes −8‎ →‎References: fixed citation template(s) to remove page from Category:CS1 maint: Extra text & general fixes using AWB (11334) undo

curprev 12:5112:51, 17 June 2015‎ 138.38.187.65 talk‎ 13,442 bytes +14‎ Undid revision 667342343 by 138.38.187.65 (talk) undo
curprev 12:4812:48, 17 June 2015‎ 138.38.187.65 talk‎ 13,428 bytes −14‎ No edit summary undo

curprev 21:0921:09, 9 June 2015‎ Espresso-hound talk contribs‎ 13,361 bytes +95‎ →‎Formal definition: I added missing details in the definition of n-type that are crucial to the distinction between types of various levels. undo Tags: Mobile edit Mobile web edit

curprev 20:2020:20, 24 April 2015‎ Tagib talk contribs‎ 13,266 bytes +2‎ →‎Examples of types undo

curprev 02:2302:23, 29 July 2014‎ Monkbot talk contribs‎ m 13,264 bytes +7‎ →‎References: Task 3b: Fix CS1 deprecated coauthor parameter errors undo

curprev 12:4012:40, 5 May 2014‎ Yobot talk contribs‎ m 13,257 bytes −13‎ WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 11:3811:38, 18 March 2014‎ Edward talk contribs‎ m 13,270 bytes +4‎ link square root of 2 using Find link undo

curprev 06:1206:12, 16 August 2013‎ Trovatore talk contribs‎ 13,266 bytes +108‎ move the idea to the first sentence -- maybe that addresses some of the objection. My formulation is open to criticism; model theory was never my specialty undo
curprev 05:4305:43, 16 August 2013‎ Trovatore talk contribs‎ 13,158 bytes −31‎ there is an introduction. {{technical}} is not appropriate in the article anyway -- belongs on talk. Take it to talk. undo

curprev 22:0722:07, 15 August 2013‎ AnomieBOT talk contribs‎ m 13,189 bytes +17‎ Dating maintenance tags: {{Technical}} undo
curprev 20:0620:06, 15 August 2013‎ Attleboro talk contribs‎ 13,172 bytes +14‎ This is a better place for this. MOS:MATH#Article_introduction seems totally lacking. undo
curprev 18:5718:57, 15 August 2013‎ Trovatore talk contribs‎ m 13,158 bytes 0‎ →‎Formal definition: downcase (probably covered in MOS:CAPS) undo
curprev 18:5218:52, 15 August 2013‎ Wgunther talk contribs‎ 13,158 bytes +7‎ Proposed fixed to edit-warring as per MOS:MATH#Article_body. Feel free to make preceding sections with a more informal discussion. undo

3 April 2024

26 January 2024

21 September 2023

9 January 2023

20 December 2022

13 October 2022

15 January 2022

26 October 2021

22 April 2020

9 March 2020

19 February 2020

31 January 2020

3 November 2019

2 November 2019

1 March 2019

26 November 2018

11 October 2018

22 February 2018

24 September 2017

20 June 2017

29 December 2016

19 December 2016

12 December 2016

23 November 2016

30 November 2015

1 September 2015

8 August 2015

17 June 2015

10 June 2015

9 June 2015

24 April 2015

29 July 2014

5 May 2014

18 March 2014

16 August 2013

15 August 2013