Jump to content

Talk:Better-quasi-ordering

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

The definition of the relation is slightly incorrect. When restricted to the sequences of length 1, it gives the total relation. One would like it to be the natural strict order on natural number. One must take iff there is such that is a strict initial segment of and .

Start a discussion about improving the Better-quasi-ordering page

Start a discussion