Well-founded relation: 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 11:2311:23, 31 January 2024‎ Jochen Burghardt talk contribs‎ 10,318 bytes −30‎ Undid revision 1201084397 by JBW (talk): per WP:OVERCAT (well, acutally per the image at commons:COM:OVERCAT, assuming the same rule applies to WP, but unable to find it there - so revert me if I'm wrong) undo Tag: Undo

curprev 22:1022:10, 30 January 2024‎ JBW talk contribs‎ 10,348 bytes +30‎ This article is certainly about binary relations. undo Tag: Reverted

curprev 10:1810:18, 25 January 2024‎ Jochen Burghardt talk contribs‎ 10,318 bytes −44‎ Undid revision 1198883552 by Tea2min (talk) cat. should be removed here, not added undo Tag: Undo
curprev 08:3108:31, 25 January 2024‎ Tea2min talk contribs‎ 10,362 bytes +44‎ WP:CATMAIN undo Tags: Undo Reverted

curprev 16:3516:35, 24 January 2024‎ Tarnoob talk contribs‎ 10,318 bytes −44‎ →‎References: cat. undo Tag: Reverted
curprev 16:3416:34, 24 January 2024‎ Tarnoob talk contribs‎ 10,362 bytes +14‎ →‎References: cat. undo

curprev 22:2822:28, 5 January 2024‎ JBW talk contribs‎ 10,348 bytes +6‎ More natural English undo

curprev 21:3521:35, 23 December 2023‎ D.Lazard talk contribs‎ 10,342 bytes +62‎ Undid revision 1191482861 by Meef4H (talk) every set is a class, but many classes are not sets undo
curprev 21:1621:16, 23 December 2023‎ Meef4H talk contribs‎ 10,280 bytes −14‎ I've looked at multiple other sources for a definition of "well-founded relation" none of them suggest it is limited to classes, and intuitively there doesn't seem to be any reason it should be specialized to only classes.. undo Tag: Visual edit
curprev 16:2316:23, 23 December 2023‎ D.Lazard talk contribs‎ 10,294 bytes +11‎ clarification of the ortder of quantifiers and negation undo
curprev 09:3309:33, 23 December 2023‎ Meef4H talk contribs‎ 10,283 bytes −80‎ Make definition words flow better. undo Tag: Visual edit

curprev 07:1907:19, 5 April 2023‎ D.Lazard talk contribs‎ 10,363 bytes +15‎ Reverted 1 edit by D.Lazard (talk): Was not broken undo Tags: Twinkle Undo
curprev 07:1107:11, 5 April 2023‎ D.Lazard talk contribs‎ 10,348 bytes −15‎ →‎top: fixing broken link undo Tag: Reverted

curprev 15:4215:42, 27 January 2023‎ Quantling talk contribs‎ 10,363 bytes +318‎ Use math font undo
curprev 15:0515:05, 27 January 2023‎ Quantling talk contribs‎ 10,045 bytes −9‎ Changing few stragglers to be consistent with other math formatting undo

curprev 19:3219:32, 26 January 2023‎ Mgkrupa talk contribs‎ 10,054 bytes +55‎ Clarification and copy editing undo

curprev 18:2118:21, 11 January 2023‎ Jochen Burghardt talk contribs‎ 9,999 bytes +237‎ →‎top: merging: inserting useful information from Foundational relation undo
curprev 18:1618:16, 11 January 2023‎ Jochen Burghardt talk contribs‎ 9,762 bytes −97‎ →‎top undo

curprev 04:0604:06, 19 December 2022‎ Philogicatician talk contribs‎ m 9,859 bytes +402‎ →‎Induction and recursion: Fixing style/layout errors undo Tag: Visual edit

curprev 13:2213:22, 18 December 2022‎ AnomieBOT talk contribs‎ m 9,457 bytes +19‎ Dating maintenance tags: {{Merge from}} undo
curprev 13:0113:01, 18 December 2022‎ Jochen Burghardt talk contribs‎ 9,438 bytes +78‎ →‎top: merge from undo

curprev 20:5320:53, 15 December 2022‎ Mgkrupa talk contribs‎ m 9,360 bytes +17‎ Added {{Order theory}} undo

curprev 18:4218:42, 3 September 2022‎ Mgkrupa talk contribs‎ 9,343 bytes +23‎ Added {{Mathematical logic}} undo

curprev 16:2816:28, 16 August 2022‎ Quantling talk contribs‎ 9,320 bytes −3‎ which -> that (when the clause is essential rather than merely added detail) undo

curprev 18:1318:13, 15 August 2022‎ Quantling talk contribs‎ 9,323 bytes +8‎ The chain need not be countable, but restricting to countable chains is sufficient -- see Talk page undo

curprev 07:1007:10, 13 August 2022‎ Jochen Burghardt talk contribs‎ 9,315 bytes +10‎ Undid revision 1104127452 by Quantling (talk): sequences are countable by construction undo Tag: Undo

curprev 21:2321:23, 12 August 2022‎ Quantling talk contribs‎ 9,305 bytes −10‎ The prohibited size is infinity of any cardinality, not merely those infinities that are countable undo Tag: Reverted

curprev 15:4215:42, 3 August 2022‎ 2a02:8388:1984:6000:2510:5521:320c:ac1d talk‎ 9,315 bytes +6‎ →‎Reflexivity: formatting of one more relation symbol undo
curprev 15:2415:24, 3 August 2022‎ 2a02:8388:1984:6000:2510:5521:320c:ac1d talk‎ 9,309 bytes +34‎ fixed spacing by using \mathrel undo

curprev 17:1617:16, 25 October 2021‎ Jochen Burghardt talk contribs‎ 9,275 bytes −159‎ →‎Examples: "regular expressions" example was a special case of "strings" example; unify to upper case undo
curprev 15:2515:25, 25 October 2021‎ Srnstklqe talk contribs‎ 9,434 bytes +23‎ →‎Examples: added "non-negative" to rationals / reals example, otherwise the example is just the same as the negative integers. undo

curprev 18:2918:29, 10 May 2021‎ Columbus240 talk contribs‎ m 9,411 bytes +35‎ Fix dead link/reference to ProofWiki undo

curprev 11:5811:58, 10 April 2021‎ Chicdat talk contribs‎ 9,376 bytes +46‎ Importing Wikidata short description: "Type of binary relation" (Shortdesc helper) undo

curprev 21:4921:49, 20 January 2021‎ Monkbot talk contribs‎ m 9,330 bytes +2‎ Task 18 (cosmetic): eval 2 templates: hyphenate params (2×); undo Tag: AWB

curprev 15:2415:24, 8 April 2020‎ EmilJ talk contribs‎ 9,328 bytes +205‎ →‎Reflexivity: The given convention only works for partial orders. Different conventions are used for other reflexive relations, in particular preorders. undo

curprev 01:4601:46, 12 November 2019‎ Drevolt talk contribs‎ m 9,123 bytes +1‎ Punctuation undo

curprev 16:5216:52, 9 October 2019‎ Trovatore talk contribs‎ 9,122 bytes −4‎ Undid revision 920394719 by 63.228.127.242 (talk) linking *symbols* is mostly just confusing. Subset is linked a few bytes earlier. undo Tag: Undo
curprev 14:2514:25, 9 October 2019‎ 63.228.127.242 talk‎ 9,126 bytes +4‎ probably a good idea to link each obscure math symbol the first time it appears on the page, or explain it. undo

curprev 21:4321:43, 24 August 2019‎ EllenCT talk contribs‎ 9,122 bytes +31‎ {{stack|{{Binary relations}}}} undo

curprev 18:2418:24, 19 May 2019‎ D.Lazard talk contribs‎ m 9,108 bytes −31‎ Reverted 1 edit by 2405:204:E58F:4FD5:0:0:2214:68A5 (talk) to last revision by Vesselin.atanasov (TW) undo Tag: Undo
curprev 18:2418:24, 19 May 2019‎ 2405:204:e58f:4fd5::2214:68a5 talk‎ 9,139 bytes +31‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 10:2810:28, 20 February 2019‎ Vesselin.atanasov talk contribs‎ 9,108 bytes +466‎ Added sources proving that ZF+DC+lack of infinite chains entails WF undo Tag: Visual edit: Switched

curprev 15:0015:00, 5 February 2019‎ AnomieBOT talk contribs‎ m 8,642 bytes +19‎ Dating maintenance tags: {{Cn}} undo
curprev 14:3914:39, 5 February 2019‎ Jochen Burghardt talk contribs‎ 8,623 bytes +6‎ →‎top: the improved version should be sourced undo
curprev 12:5412:54, 5 February 2019‎ Vesselin.atanasov talk contribs‎ 8,617 bytes +10‎ Well-foundedness of a set follows from the axioms of ZF, plus the axiom of dependent choice, plus the lack of infinite descending chains. We don't need the full axiom of choice in this case. undo Tag: Visual edit

31 January 2024

30 January 2024

25 January 2024

24 January 2024

5 January 2024

23 December 2023

5 April 2023

27 January 2023

26 January 2023

11 January 2023

19 December 2022

18 December 2022

15 December 2022

3 September 2022

16 August 2022

15 August 2022

13 August 2022

12 August 2022

3 August 2022

25 October 2021

10 May 2021

10 April 2021

20 January 2021

8 April 2020

12 November 2019

9 October 2019

24 August 2019

11 August 2019

19 May 2019

20 February 2019

5 February 2019