Revision as of 23:49, 15 June 2015 edit Uplink3r (talk \| contribs) 60 edits No edit summary ← Previous edit		Revision as of 12:58, 26 June 2015 edit undo Ɯ (talk \| contribs) 178 edits Definitions and explanations for Well-quasi-ordering, see Well-quasi-ordering Next edit →
Line 2: In addition to saying well-quasi-ordering, can't this be explained as a relation where every element cannot be decreasing, or something along those lines? - [[User:Uplink3r\|Uplink3r]] ([[User talk:Uplink3r\|talk]]) 23:47, 15 June 2015 (UTC) AFAICS the meaning of the term is already stated? In addition to the (admittedly extremely brief) explanation, there is a handful of useful alternative characterisations of WQO. But I would rather add them to the [[Well-quasi-ordering]] article. [[User:Ɯ\|[ɯ:]]] ([[User talk:Ɯ\|talk]]) 12:58, 26 June 2015 (UTC)

Talk:Well-structured transition system: Difference between revisions