In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> On 19 Feb., 03:19, Virgil <vir...@ligriv.com> wrote: > > > > > so that there is no n for which FIS_n(L) = FIS_n(d). > > I do not argue with FISs of the list, but with FISs of lines. > > > > And with an antidiagonal, things are even worse for WM. > > > Not in the special list > > 0.0 > 0.1 > 0.11 > 0.111 > ... In any list, L, in which FIS_n(L) is not a subset of FIS_(n+1)(L), there need not be a :diagonal: but there is still an anti-diagonal.
For your special list above, A = 1.00000... works quite nicely as an antidiagonal, since no FIS of A is a line of your special list.
> > And it is well known that one counter example kills even the best > proof.