Szpilrajn extension theorem: 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 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

25 December 2023

25 November 2023

23 November 2023

22 November 2023

9 March 2023

1 March 2023

28 February 2023

15 December 2022

24 June 2022

19 August 2021

22 July 2021

29 June 2021

6 May 2021

16 April 2021

13 April 2021

29 October 2020

1 January 2020

2 September 2019

31 August 2019

28 April 2019

12 August 2018

15 July 2018

23 May 2018

13 June 2017

20 March 2017

29 September 2016

1 April 2016

11 November 2015

21 April 2015

31 March 2015

15 December 2014

5 December 2013

21 August 2013