Order type: 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 20:3720:37, 11 March 2024‎ Jlwoodwa talk contribs‎ 5,223 bytes +32‎ tag as one source undo

curprev 18:1418:14, 18 July 2023‎ Yoderj talk contribs‎ 4,466 bytes +4‎ →‎Order type of well-orderings: linkify first use of natural numbers in article. undo

curprev 23:2723:27, 27 February 2023‎ AnomieBOT talk contribs‎ m 4,462 bytes +19‎ Dating maintenance tags: {{More footnotes}} undo
curprev 23:0623:06, 27 February 2023‎ Jochen Burghardt talk contribs‎ 4,443 bytes +19‎ →‎top: more footnotes, in particular about pi and eta undo
curprev 11:5711:57, 27 February 2023‎ DerSpezialist talk contribs‎ 4,424 bytes +94‎ →‎Notation: Mention integers have order type 𝜋 undo

curprev 20:4120:41, 15 December 2022‎ Mgkrupa talk contribs‎ m 4,330 bytes +19‎ Added {{Order theory}} undo

curprev 21:0721:07, 21 October 2022‎ InternetArchiveBot talk contribs‎ 4,311 bytes +195‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.2) (Whoop whoop pull up - 11057 undo

curprev 10:2010:20, 5 October 2022‎ 70.20.45.161 talk‎ 4,116 bytes +3‎ Changed bijection description from 'matches' to 'pairs with' to avoid the confusion of matching elements to determine intersection with a bijection which doesn't need to identify elements. undo

curprev 12:4012:40, 16 July 2021‎ Mstf221 talk contribs‎ m 4,113 bytes +7‎ A minor typo is corrected undo Tags: Visual edit Mobile edit Mobile web edit

curprev 18:4318:43, 23 June 2021‎ Jochen Burghardt talk contribs‎ 4,106 bytes +15‎ →‎Order type of well-orderings: indicate 134.245.254.97's argument undo
curprev 16:2216:22, 23 June 2021‎ 134.245.254.97 talk‎ 4,091 bytes −38‎ No citation needed. That’s literally the first definition of what an “ordinal number” is, listed on the linked Wikipedia page about ordinal numbers. undo

curprev 19:1019:10, 29 January 2021‎ IznoRepeat talk contribs‎ m 4,129 bytes 0‎ →‎Order type of well-orderings: invert mvar-link placement for upcoming tstyles undo Tag: AWB

curprev 19:1519:15, 15 February 2020‎ AnomieBOT talk contribs‎ m 4,129 bytes +19‎ Dating maintenance tags: {{Citation needed}} undo
curprev 17:1517:15, 15 February 2020‎ Tasknumberone talk contribs‎ 4,110 bytes +19‎ →‎Order type of well-orderings undo

curprev 18:1318:13, 6 January 2020‎ Joel Brennan talk contribs‎ m 4,091 bytes +126‎ added wikilinks undo

curprev 17:1817:18, 2 November 2019‎ Jochen Burghardt talk contribs‎ 3,965 bytes 0‎ →‎Order type of well-orderings: less likely to interfer with "ord(V) = ..." line undo
curprev 17:1517:15, 2 November 2019‎ Jochen Burghardt talk contribs‎ 3,965 bytes +221‎ →‎Order type of well-orderings: suggest example diagram undo

curprev 15:3915:39, 8 January 2019‎ Deacon Vorbis talk contribs‎ 3,744 bytes −4‎ →‎top: more misc cleanup undo
curprev 15:2715:27, 8 January 2019‎ Deacon Vorbis talk contribs‎ 3,748 bytes +63‎ →‎Order type of well-orderings: texifying set-apart formulas, plus other layout fixes and little tweaks undo
curprev 15:1415:14, 8 January 2019‎ Deacon Vorbis talk contribs‎ 3,685 bytes +55‎ +short desc undo

curprev 23:2323:23, 8 July 2018‎ Pingku talk contribs‎ m 3,630 bytes +22‎ parenthetical equation given too much prominence undo

curprev 18:0718:07, 10 May 2018‎ PrimeBOT talk contribs‎ m 3,608 bytes +4‎ →‎top: Task 24 - replace template usage following a TFD undo

curprev 20:0520:05, 26 October 2016‎ Anareth talk contribs‎ m 3,604 bytes 0‎ →‎top: space undo Tag: Visual edit

curprev 21:0721:07, 14 August 2016‎ 98.7.13.168 talk‎ 3,604 bytes −3‎ No edit summary undo
curprev 21:0621:06, 14 August 2016‎ 98.7.13.168 talk‎ 3,607 bytes +60‎ In 2nd paragraph, 2nd line, wrote the inverse 2n -->n of map n -->2n , to complete proof of order isomorphism between naturals and even numbers. undo

curprev 01:4201:42, 2 March 2016‎ Mark viking talk contribs‎ 3,547 bytes +14‎ →‎top: Added wl undo

curprev 06:1806:18, 18 September 2015‎ Tea2min talk contribs‎ 3,533 bytes −63‎ Undid revision 681456069 by Tobias Bergemann (talk): Self-revert, I think I myself prefer the previous version. undo

curprev 09:4209:42, 17 September 2015‎ Tea2min talk contribs‎ 3,596 bytes +63‎ →‎Order type of well-orderings: Try to make the example somewhat easier to read. Feel free to revert if you prefer the previous version. undo
curprev 09:3609:36, 17 September 2015‎ Tea2min talk contribs‎ 3,533 bytes 0‎ Undid revision 681415627 by 67.50.131.235 (talk): No, it was right before? undo
curprev 02:2502:25, 17 September 2015‎ 67.50.131.235 talk‎ 3,533 bytes 0‎ →‎Order type of well-orderings undo

curprev 00:3900:39, 23 July 2015‎ JRSpriggs talk contribs‎ 3,533 bytes +6‎ Undid revision 672629986 by 192.31.106.36 (talk) revert ignorance undo

curprev 20:2920:29, 22 July 2015‎ 192.31.106.36 talk‎ 3,527 bytes −6‎ Fix set enumeration to avoid conceptual fallacy of zeroth undo

curprev 00:3600:36, 16 July 2014‎ JRSpriggs talk contribs‎ 3,533 bytes −13‎ Undid revision 617100043 by James Waddington (talk) generally we do assume ZFC, so this is just a distraction here undo

curprev 21:1821:18, 15 July 2014‎ James Waddington talk contribs‎ 3,546 bytes +13‎ →‎Order type of well-orderings: First statement is independent of Zermelo set theory, but not Zermelo Frankel undo

curprev 04:4404:44, 17 June 2014‎ JRSpriggs talk contribs‎ 3,533 bytes +4‎ lead: fix punctuation of the first sentence undo

curprev 18:0718:07, 16 June 2014‎ 64.208.158.62 talk‎ 3,529 bytes −3‎ No edit summary undo

curprev 11:2511:25, 5 May 2014‎ Yobot talk contribs‎ m 3,532 bytes −1‎ WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 07:4907:49, 18 January 2014‎ JRSpriggs talk contribs‎ 3,533 bytes −6‎ →‎Rational numbers: fix awkward sentence undo
curprev 03:1703:17, 18 January 2014‎ 173.25.54.191 talk‎ 3,539 bytes +16‎ +link undo

11 March 2024

13 August 2023

18 July 2023

27 February 2023

15 December 2022

21 October 2022

5 October 2022

16 July 2021

23 June 2021

29 January 2021

15 February 2020

6 January 2020

2 November 2019

8 January 2019

8 July 2018

10 May 2018

26 October 2016

14 August 2016

2 March 2016

18 September 2015

17 September 2015

23 July 2015

22 July 2015

16 July 2014

15 July 2014

17 June 2014

16 June 2014

5 May 2014

18 January 2014