Szpilrajn extension theorem: Revision history

25 December 2023

• curprev 23:0923:09, 25 December 2023 Joriki talk contribs 9,089 bytes −33 linear extension as link rather than "see also" undo
• curprev 23:0323:03, 25 December 2023 Joriki talk contribs m 9,122 bytes −8 →Proof: typo undo

25 November 2023

• curprev 18:4518:45, 25 November 2023 GünniX talk contribs m 9,130 bytes +6 Math tag without correct match undo Tag: AWB

23 November 2023

• curprev 15:4915:49, 23 November 2023 Neils51 talk contribs m 9,124 bytes −3 replaced: the the → the undo Tag: AWB
• curprev 07:2707:27, 23 November 2023 David Eppstein talk contribs 9,127 bytes −290 →Proof: ce undo

22 November 2023

• curprev 23:0723:07, 22 November 2023 David Eppstein talk contribs 9,417 bytes −3 →Strength: same undo
• curprev 23:0723:07, 22 November 2023 David Eppstein talk contribs 9,420 bytes −3 →Strength: -ing undo
• curprev 23:0623:06, 22 November 2023 David Eppstein talk contribs 9,423 bytes +914 more strength undo
• curprev 22:5022:50, 22 November 2023 David Eppstein talk contribs 8,509 bytes +980 implies finite choice w/source undo
• curprev 22:3722:37, 22 November 2023 David Eppstein talk contribs 7,529 bytes −42 When this had a single reference in 2021 it was in CS2; restore that citation style. Pull refs to end for greater source readability and clean them up. undo

9 March 2023

• curprev 17:5417:54, 9 March 2023 Citation bot talk contribs 7,571 bytes −76 Alter: url. URLs might have been anonymized. Add: s2cid, jstor, doi. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

1 March 2023

• curprev 18:5718:57, 1 March 2023 JayBeeEll talk contribs 7,647 bytes −170 cause the lead to agree with the body undo

28 February 2023

• curprev 12:4312:43, 28 February 2023 Erel Segal talk contribs 7,817 bytes +1,039 →Other extension theorems undo Tag: Visual edit
• curprev 12:1712:17, 28 February 2023 Erel Segal talk contribs 6,778 bytes +163 No edit summary undo Tag: Visual edit
• curprev 12:1112:11, 28 February 2023 Erel Segal talk contribs 6,615 bytes +76 →Other extension theorems undo Tag: Visual edit

15 December 2022

• curprev 20:3020:30, 15 December 2022 Mgkrupa talk contribs m 6,539 bytes +16 Added {{Order theory}} undo

24 June 2022

• curprev 06:2606:26, 24 June 2022 Tomurb talk contribs m 6,523 bytes −2 The citation had incorrect author surname. undo

19 August 2021

• curprev 17:5117:51, 19 August 2021 188.63.81.56 talk 6,525 bytes 0 No edit summary undo

22 July 2021

• curprev 21:0421:04, 22 July 2021 Paradoctor talk contribs m 6,525 bytes −14 →top: MOS:EGG undo
• curprev 20:3220:32, 22 July 2021 Mgkrupa talk contribs 6,539 bytes +654 No information was added, removed, or changed. Only copy editing to make this article more compliant with MOS:MATH and WP:ACCESSIBILITY. Minor rewording/rearranging/fixes. Spell out abbreviations s.t./iff/i.e./can't/... and symbols ∀∃⇔⇒∨∧¬ (exceptions for e.g. formal logic). Try to write complete sentences. Avoid we/one/us/clearly/note/... Avoid symbols that might not render correctly in some browsers like Unicode ∪∩≠≤→∈∑⊕√∞ or σℱ𝔉𝔽ℝℂℕ by e.g. replacing them with LaTeX. undo

29 June 2021

• curprev 15:5815:58, 29 June 2021 Paradoctor talk contribs 5,885 bytes +1 mathematics is large undo
• curprev 15:5715:57, 29 June 2021 Paradoctor talk contribs 5,884 bytes +26 added Category:Order theory using HotCat undo

6 May 2021

• curprev 00:3100:31, 6 May 2021 OAbot talk contribs m 5,858 bytes +21 Open access bot: doi added to citation with #oabot. undo

16 April 2021

• curprev 05:4305:43, 16 April 2021 PhS talk contribs 5,837 bytes +61 add Short description, as per WP:SHORTDESC undo

13 April 2021

• curprev 12:2212:22, 13 April 2021 Tea2min talk contribs 5,776 bytes +17 →top: Add link to Comparability. undo

29 October 2020

• curprev 01:4201:42, 29 October 2020 AxelBoldt talk contribs 5,759 bytes −94 →Proof: simpler undo Tag: Visual edit
• curprev 01:1801:18, 29 October 2020 AxelBoldt talk contribs 5,853 bytes −7 →Definitions and statement undo Tag: Visual edit
• curprev 01:0601:06, 29 October 2020 AxelBoldt talk contribs 5,860 bytes +173 no need for "strict" here. Fixing Arrow and Suzumura undo Tag: Visual edit
• curprev 00:1200:12, 29 October 2020 AxelBoldt talk contribs 5,687 bytes −129 Intro reordered and reformulated, proof cut slightly undo Tag: Visual edit

1 January 2020

• curprev 06:0706:07, 1 January 2020 Bkell talk contribs m 5,816 bytes 0 principal → principle undo

2 September 2019

• curprev 20:3320:33, 2 September 2019 Woodlot talk contribs m 5,816 bytes +1 spelling undo Tag: Visual edit

31 August 2019

• curprev 00:3600:36, 31 August 2019 Rgdboer talk contribs 5,815 bytes −13 →Definitions and statement: total --> connex, italic R (variable) undo

28 April 2019

• curprev 16:1916:19, 28 April 2019 Joel Brennan talk contribs 5,828 bytes −435 changed the wording in the proof to be more mathematical. i did not however check its correctness so there are very likely some mistakes. undo
• curprev 15:1415:14, 28 April 2019 Joel Brennan talk contribs m 6,263 bytes −2 these definitions are surely well known to readers of the article, so it seems strange to recall them, especially in bullet-point form undo

12 August 2018

• curprev 07:3507:35, 12 August 2018 Beland talk contribs m 6,265 bytes −20 &lsquo -> &lang, &rsquo -> &rang - because this is math, not quotation undo

15 July 2018

• curprev 07:3807:38, 15 July 2018 Beland talk contribs m 6,285 bytes −9 →Definitions and statement: replace ∈ undo
• curprev 07:3707:37, 15 July 2018 Beland talk contribs m 6,294 bytes −16 →Definitions and statement: more simplification undo
• curprev 07:3707:37, 15 July 2018 Beland talk contribs m 6,310 bytes −16 →Definitions and statement: simplify markup undo

23 May 2018

• curprev 21:3621:36, 23 May 2018 Rgdboer talk contribs m 6,326 bytes −2 lk Connex relation undo

13 June 2017

• curprev 07:2307:23, 13 June 2017 Jochen Burghardt talk contribs 6,328 bytes −4 →top: rm link to same page as Szpilrajn undo

20 March 2017

• curprev 00:2400:24, 20 March 2017 124.217.188.225 talk 6,332 bytes +81 →Proof undo Tags: Mobile edit Mobile app edit

29 September 2016

• curprev 16:4316:43, 29 September 2016 John of Reading talk contribs m 6,251 bytes 0 Typo fixing, replaced: a irreflexive → an irreflexive, an total order → a total order, in addition of → in addition to using AWB undo

1 April 2016

• curprev 20:3020:30, 1 April 2016 BG19bot talk contribs m 6,251 bytes +2 Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

11 November 2015

• curprev 15:5815:58, 11 November 2015 2001:628:2120:630:b531:bb89:5b00:4d4c talk 6,249 bytes +2 →Proof undo

21 April 2015

• curprev 13:3313:33, 21 April 2015 EmilJ talk contribs m 6,247 bytes −4 correction undo

31 March 2015

• curprev 19:4119:41, 31 March 2015 140.180.131.84 talk 6,251 bytes 0 →Definitions and statement undo

15 December 2014

• curprev 11:1111:11, 15 December 2014 Tizio talk contribs 6,251 bytes +522 some other extension theorem undo
• curprev 10:1910:19, 15 December 2014 Tizio talk contribs 5,729 bytes −1,295 rewriting undo

5 December 2013

• curprev 22:2022:20, 5 December 2013 David Eppstein talk contribs m 7,024 bytes −11 ce lead sentence undo

21 August 2013

• curprev 22:2322:23, 21 August 2013 Xqbot talk contribs m 7,035 bytes +16 Robot: Adding missing <references /> tag undo