Kőnig'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 21:3821:38, 18 January 2024‎ Citation bot talk contribs‎ 17,216 bytes +26‎ Altered title. Added isbn. | Use this bot. Report bugs. | Suggested by Abductive | Category:Computability theory | #UCB_Category 21/100 undo

curprev 22:2122:21, 1 November 2023‎ Trappist the monk talk contribs‎ m 17,190 bytes −20‎ cite repair; undo Tag: AWB

curprev 18:1718:17, 28 June 2023‎ David Eppstein talk contribs‎ 17,210 bytes −75‎ Undid revision 1162307339 by 197.89.4.35 (talk) that is what we are trying to prove; we can't assume it in the middle of the proof undo Tag: Undo
curprev 08:1708:17, 28 June 2023‎ 197.89.4.35 talk‎ 17,285 bytes +75‎ Slight clarification. undo Tag: Reverted

curprev 11:2711:27, 7 May 2023‎ Certes talk contribs‎ m 17,210 bytes 0‎ typo undo

curprev 14:1714:17, 6 May 2023‎ Herpesklaus talk contribs‎ 17,210 bytes +9‎ repeat the word "infinite" to avoid misunderstanding undo

curprev 11:3111:31, 27 April 2023‎ Paditor talk contribs‎ m 17,201 bytes 0‎ →‎Statement of the lemma: Fix order of properties to be the same as the previous sentence. undo Tag: Visual edit

curprev 07:5307:53, 7 March 2023‎ David Eppstein talk contribs‎ m 17,201 bytes +9‎ →‎Relationship to constructive mathematics and compactness: format math undo
curprev 07:5207:52, 7 March 2023‎ David Eppstein talk contribs‎ 17,192 bytes +462‎ →‎Computability aspects: format math; minor copyedits undo
curprev 07:4507:45, 7 March 2023‎ David Eppstein talk contribs‎ 16,730 bytes −15‎ →‎Computability aspects: ce undo

curprev 00:4200:42, 25 September 2022‎ David Eppstein talk contribs‎ m 16,745 bytes +36‎ →‎Relationship with the axiom of choice: math formatting undo
curprev 00:3800:38, 25 September 2022‎ David Eppstein talk contribs‎ 16,709 bytes −21‎ →‎Relationship with the axiom of choice: supply requested page numbers undo
curprev 00:3100:31, 25 September 2022‎ David Eppstein talk contribs‎ 16,730 bytes +27‎ →‎References: John Truss undo

curprev 20:2120:21, 1 August 2022‎ David Eppstein talk contribs‎ 16,703 bytes −278‎ →‎Statement of the lemma: rewrite proof undo

curprev 23:4823:48, 8 May 2022‎ Halberdo talk contribs‎ 16,981 bytes +40‎ →‎Proof: clarification undo

curprev 10:0010:00, 4 May 2022‎ Richard L. Peterson talk contribs‎ 16,941 bytes +12‎ →‎Statement of the lemma: minor rewrite of "common special case" and D Eppstein's explanation undo Tag: 2017 wikitext editor

curprev 01:3801:38, 2 May 2022‎ Richard L. Peterson talk contribs‎ 16,929 bytes +181‎ →‎Statement of the lemma: David Eppstein: I asked for clarification, you provided it, but didn't insert it. So I inserted your clarification. undo Tag: 2017 wikitext editor

curprev 16:3816:38, 30 April 2022‎ David Eppstein talk contribs‎ 16,748 bytes −5‎ Undid revision 1085423748 by Richard L. Peterson (talk) yes, infinite degree means not locally finite. If it were locally finite it has a ray. So if we assume it does not have a ray, the consequence is that it cannot be locally finite, and therefore it has an infinite-degree vertex. undo Tag: Undo
curprev 13:4613:46, 30 April 2022‎ Richard L. Peterson talk contribs‎ 16,753 bytes +5‎ →‎Statement of the lemma: ? added confusing statement. infinite degree means not locall connected please clarify or remove undo Tags: Reverted 2017 wikitext editor

curprev 06:4506:45, 19 March 2022‎ Citation bot talk contribs‎ 16,748 bytes +93‎ Alter: issue. Add: doi, s2cid, volume. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles containing proofs | #UCB_Category 207/409 undo

curprev 05:0005:00, 3 December 2021‎ Rlink2 talk contribs‎ m 16,655 bytes +3‎ →‎References: archive link repair, may include: archive.* -> archive.today, and http->https for ghostarchive.org and archive.org (wp:el#Specifying_protocols) undo Tag: AWB

curprev 13:0213:02, 23 April 2021‎ Jarble talk contribs‎ m 16,652 bytes +4‎ linking undo

curprev 09:4509:45, 10 March 2021‎ PhS talk contribs‎ 16,648 bytes +60‎ add Short description, as per WP:SHORTDESCR undo

curprev 08:4208:42, 20 February 2021‎ AnomieBOT talk contribs‎ m 16,588 bytes +38‎ Dating maintenance tags: {{More footnotes}} {{Page needed}} undo
curprev 08:1108:11, 20 February 2021‎ David Eppstein talk contribs‎ m 16,550 bytes −353‎ consolidate ref format; demote unused refs to further reading; tag for more footnotes undo

curprev 22:5922:59, 18 February 2021‎ David Eppstein talk contribs‎ 16,903 bytes +64‎ Undid revision 1007561591 by Vagabard (talk) The LEMMA that is the subject of the article makes this condition, but we also need to state the same condition EXPLICITLY in the statement of the special case undo Tag: Undo
curprev 20:0420:04, 18 February 2021‎ Vagabard talk contribs‎ m 16,839 bytes −64‎ →‎Statement of the lemma: by definition, the graph only has vertices of finite degree. Therefore it can't have a vertex of infinite degree. undo Tag: Reverted

curprev 23:1723:17, 1 November 2020‎ Tarnoob talk contribs‎ 16,903 bytes −22‎ →‎External links: cat. undo

curprev 05:1405:14, 21 February 2020‎ InternetArchiveBot talk contribs‎ 16,925 bytes +287‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

curprev 13:4013:40, 18 December 2019‎ InternetArchiveBot talk contribs‎ 16,638 bytes +136‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 14:3014:30, 8 August 2019‎ 78.104.0.74 talk‎ 16,502 bytes 0‎ →‎Statement of the lemma: fix order of remarks undo

curprev 18:2218:22, 4 April 2019‎ 129.252.33.200 talk‎ 16,502 bytes −3‎ No edit summary undo
curprev 18:2218:22, 4 April 2019‎ 129.252.33.200 talk‎ 16,505 bytes +3‎ No edit summary undo

curprev 16:2016:20, 31 January 2019‎ AxelBoldt talk contribs‎ 16,502 bytes +83‎ →‎Generalization undo Tag: Visual edit

curprev 20:1020:10, 29 January 2019‎ AxelBoldt talk contribs‎ 16,419 bytes +287‎ generalization undo Tag: Visual edit
curprev 19:5119:51, 29 January 2019‎ AxelBoldt talk contribs‎ 16,132 bytes −43‎ link to König; spelling out assumption; moving paragraph about constructivity of proof undo Tag: 2017 wikitext editor

curprev 21:5221:52, 14 November 2018‎ Renamed user 7hq09uwypo226qfc talk contribs‎ 16,175 bytes −184‎ Do not perpetuate unreferenced misspellings in Wikipedia — there is no evidence that Dénes ever used a diaeresis (unlike his father). Titles of articles (esp. old ones written before widespread unicode use) are not a valid source. undo
curprev 21:4721:47, 14 November 2018‎ Renamed user 7hq09uwypo226qfc talk contribs‎ m 16,359 bytes 0‎ Nowak Kowalski moved page König's lemma to Kőnig's lemma over redirect: Misspelling undo

curprev 00:3900:39, 7 June 2018‎ David Eppstein talk contribs‎ 16,359 bytes −1‎ →‎Statement of the lemma: adjacent to only finitely many; could be in the same connected component with infinitely many undo
curprev 00:2100:21, 7 June 2018‎ Hairy Dude talk contribs‎ 16,360 bytes 0‎ →‎Relationship with the axiom of choice: capitalisation undo Tags: Mobile edit Mobile web edit

curprev 16:5916:59, 22 May 2018‎ Narky Blert talk contribs‎ 16,360 bytes +16‎ Link to DAB page -> redlink undo
curprev 16:5916:59, 22 May 2018‎ Narky Blert talk contribs‎ 16,344 bytes +16‎ Link to DAB page -> redlink undo

curprev 17:5317:53, 4 May 2018‎ Sniffnoy talk contribs‎ 16,328 bytes +201‎ oh, so it is! Just going to make that clearer, then, because i totally missed it undo
curprev 13:4613:46, 4 May 2018‎ CBM talk contribs‎ 16,127 bytes −217‎ →‎Relationship with the axiom of choice: This is already in the article! undo
curprev 07:0507:05, 4 May 2018‎ Sniffnoy talk contribs‎ 16,344 bytes +893‎ konig's lemma is equiv to countable choice for finite sets; citing "consequences of the axiom of choice" as a reference undo

curprev 12:5012:50, 3 November 2017‎ CBM talk contribs‎ m 15,451 bytes +96‎ →‎Statement of the lemma: I think the clarification/redundancy is useful in the statement here undo
curprev 06:2506:25, 3 November 2017‎ Jwuthe2 talk contribs‎ 15,355 bytes −36‎ →‎Statement of the lemma: A Slightly More Concise Statement undo

curprev 17:0817:08, 19 July 2017‎ 151.224.16.211 talk‎ 15,391 bytes 0‎ No edit summary undo

curprev 16:0416:04, 15 July 2017‎ Deacon Vorbis talk contribs‎ m 15,391 bytes −24‎ LaTeX spacing clean up, replaced: \,</math> → </math> (12) using AWB undo

curprev 21:1721:17, 22 June 2017‎ CBM talk contribs‎ m 15,415 bytes +9‎ Copyediting in citations - nonbreaking spaces and en dashes (manually reviewed) undo

18 January 2024

1 November 2023

28 June 2023

7 May 2023

6 May 2023

27 April 2023

7 March 2023

25 September 2022

1 August 2022

8 May 2022

4 May 2022

2 May 2022

30 April 2022

19 March 2022

3 December 2021

23 April 2021

10 March 2021

20 February 2021

18 February 2021

1 November 2020

21 February 2020

18 December 2019

8 August 2019

4 April 2019

31 January 2019

29 January 2019

14 November 2018

7 June 2018

22 May 2018

4 May 2018

3 November 2017

19 July 2017

15 July 2017

22 June 2017