Dickson's lemma: 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 15:1115:11, 8 February 2024‎ 2001:a18:a:1d07:7843:d913:a3f4:279d talk‎ 8,411 bytes +8‎ →‎Example: For 1 < K < sqrt(2), we have 2 > K^2 minimal elements (namely (2,1) and (1,2)). undo

curprev 00:3400:34, 25 July 2023‎ Citation bot talk contribs‎ 8,403 bytes +60‎ Alter: title. Add: s2cid. | Use this bot. Report bugs. | #UCB_CommandLine 191/7965 undo

curprev 17:4017:40, 9 August 2022‎ Joel Brennan talk contribs‎ m 8,343 bytes +149‎ added wikilinks undo

curprev 06:0906:09, 6 July 2021‎ OAbot talk contribs‎ m 8,194 bytes +18‎ Open access bot: doi added to citation with #oabot. undo

curprev 02:5002:50, 2 June 2020‎ Vycl1994 talk contribs‎ 8,176 bytes +36‎ →‎Formal statement undo

curprev 03:0503:05, 23 February 2020‎ 76.69.22.27 talk‎ 8,140 bytes +9‎ No edit summary undo

curprev 22:2322:23, 3 June 2019‎ David Eppstein talk contribs‎ 8,131 bytes −8‎ Undid revision 900170784 by 203.219.44.144 (talk) K does not need to be natural for this example to be true, and adding that restriction here makes the rest of the explanation more confusing undo Tag: Undo
curprev 22:0522:05, 3 June 2019‎ 203.219.44.144 talk‎ 8,139 bytes +8‎ →‎Example: put a necessary condition undo Tags: Mobile edit Mobile app edit Android app edit

curprev 14:5914:59, 19 June 2018‎ Bibcode Bot talk contribs‎ m 8,131 bytes +31‎ Adding 0 arxiv eprint(s), 1 bibcode(s) and 0 doi(s). Did it miss something? Report bugs, errors, and suggestions at User talk:Bibcode Bot undo

curprev 16:3616:36, 16 May 2018‎ 128.131.43.47 talk‎ 8,100 bytes +598‎ →‎Formal statement: corrected formulation (original statement: no infinite antichains; needed: no infinite antichains + DCC, as it is correctly stated in the reference) + added another equivalent version from the same reference; corrected statement about minimal elements: number must be at least 1 for DCC, but less than ℵ₀ to avoid infinite antichains undo

curprev 12:3812:38, 16 September 2017‎ 2a02:8108:4b40:a54:24b5:b41a:312f:e3c6 talk‎ 7,502 bytes +45‎ No edit summary undo

curprev 14:1614:16, 2 November 2016‎ Bender the Bot talk contribs‎ m 7,457 bytes +1‎ →‎top: http→https for Google Books and Google News using AWB undo

curprev 03:4603:46, 18 October 2015‎ Mdavis94538 talk contribs‎ m 7,456 bytes +9‎ Added "distinct" in second bullet point (without that the statement is trivially true) undo

curprev 19:1119:11, 28 March 2015‎ TakuyaMurata talk contribs‎ 7,447 bytes +34‎ See also undo

curprev 05:1105:11, 26 July 2013‎ David Eppstein talk contribs‎ m 7,413 bytes −7‎ →‎Generalizations and applications: active not passive undo

curprev 19:4519:45, 25 July 2013‎ David Eppstein talk contribs‎ 7,420 bytes +62‎ →‎Example: fix broken argument undo
curprev 19:4119:41, 25 July 2013‎ David Eppstein talk contribs‎ 7,358 bytes +9‎ →‎Example: positive undo
curprev 19:1219:12, 25 July 2013‎ David Eppstein talk contribs‎ 7,349 bytes +199‎ →‎Example: illo undo
curprev 18:1018:10, 25 July 2013‎ David Eppstein talk contribs‎ 7,150 bytes +3‎ Category:Wellfoundedness undo

curprev 15:3215:32, 8 May 2013‎ 64.134.184.70 talk‎ 7,147 bytes −2‎ No edit summary undo

curprev 14:0614:06, 21 December 2012‎ 76.181.165.148 talk‎ 7,149 bytes −8‎ No edit summary undo
curprev 14:0614:06, 21 December 2012‎ 76.181.165.148 talk‎ 7,157 bytes +8‎ No edit summary undo

curprev 00:4900:49, 18 September 2012‎ David Eppstein talk contribs‎ 7,149 bytes +511‎ →‎Formal statement: source one of the equivalent statements undo
curprev 00:4600:46, 18 September 2012‎ David Eppstein talk contribs‎ 6,638 bytes +23‎ →‎Formal statement: product order undo

curprev 23:5823:58, 16 September 2012‎ David Eppstein talk contribs‎ 3,491 bytes +551‎ move refs inline; add one for well partial order undo
curprev 23:4923:49, 16 September 2012‎ David Eppstein talk contribs‎ 2,940 bytes +19‎ →‎Formal statement: wpo undo
curprev 23:4623:46, 16 September 2012‎ David Eppstein talk contribs‎ 2,921 bytes +682‎ rewrite undo

curprev 18:0818:08, 22 January 2012‎ JordiGH talk contribs‎ 2,239 bytes +46‎ No edit summary undo
curprev 17:5217:52, 22 January 2012‎ JordiGH talk contribs‎ 2,193 bytes +6‎ No edit summary undo
curprev 17:5017:50, 22 January 2012‎ JordiGH talk contribs‎ 2,187 bytes +88‎ No edit summary undo

curprev 22:0322:03, 10 September 2011‎ CitationCleanerBot talk contribs‎ m 2,099 bytes −22‎ →‎References: Various citation & identifier cleanup, plus AWB genfixes. Report errors and suggestions at User talk:CitationCleanerBot. using AWB undo

curprev 13:1713:17, 7 July 2010‎ Citation bot 1 talk contribs‎ m 2,121 bytes +54‎ Citations: [Pu170] added: url, issue. You can use this bot yourself! Report bugs here. undo

curprev 18:1018:10, 29 January 2010‎ Giftlite talk contribs‎ m 2,067 bytes −2‎ beautify undo

curprev 23:4923:49, 26 September 2008‎ Dcoetzee talk contribs‎ 2,069 bytes +132‎ Link compactness for comparison, clarify main statement undo

curprev 16:5016:50, 20 June 2008‎ DOI bot talk contribs‎ m 1,937 bytes +25‎ Citation maintenance. You can use this bot yourself! Please report any bugs. undo

curprev 11:3011:30, 9 November 2007‎ Lantonov talk contribs‎ 1,912 bytes +10‎ clean up, Replaced: ² → <sup>2</sup> using AWB undo

curprev 10:0810:08, 3 November 2007‎ Lantonov talk contribs‎ 1,902 bytes −10‎ clean up using AWB undo

curprev 09:5309:53, 29 April 2007‎ Charles Matthews talk contribs‎ m 1,912 bytes +33‎ fmt undo

curprev 00:2300:23, 5 March 2007‎ STBotD talk contribs‎ m 1,879 bytes −34‎ robot Removing: ja:ディクソンの補題 undo

curprev 18:5318:53, 21 October 2006‎ TELL ME that talk contribs‎ 1,913 bytes +34‎ Japanese undo

curprev 14:5714:57, 4 October 2006‎ Baarslag talk contribs‎ m 1,879 bytes 0‎ →‎References undo

curprev 12:2512:25, 25 February 2006‎ PhS talk contribs‎ m 1,879 bytes +26‎ add category order theory undo

curprev 13:2713:27, 16 February 2006‎ Phil Boswell talk contribs‎ 1,853 bytes +43‎ AWB assisted migrate {{journal reference}} to {{cite journal}} undo

8 February 2024

25 July 2023

9 August 2022

6 July 2021

2 June 2020

23 February 2020

3 June 2019

19 June 2018

16 May 2018

16 September 2017

2 November 2016

18 October 2015

28 March 2015

26 July 2013

25 July 2013

8 May 2013

21 December 2012

18 September 2012

17 September 2012

16 September 2012

22 January 2012

10 September 2011

7 July 2010

29 January 2010

26 September 2008

20 June 2008

9 November 2007

3 November 2007

29 April 2007

5 March 2007

21 October 2006

4 October 2006

25 February 2006

16 February 2006