On Mar 11, 1:58 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 11 Mrz., 11:31, William Hughes <wpihug...@gmail.com> wrote: > > > > > > > > > > > On Mar 11, 10:47 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > On 10 Mrz., 20:52, William Hughes <wpihug...@gmail.com> wrote: > > > > > Let l be a line of L > > > > > Do you agree with the statement > > > > > For every n, the nth FIS of d is > > > > contained in l iff > > > > l is coFIS to (d) > > > > or, more precisely: to the sequence 1, 2, 3, ..., max defined by (d). > > > Yes, that is right. > > > Do you agree with the statement > > > If G is a subset of lines of L > > and G has a fixed last element > > then there is no line, l, in G > > for which it is true that > > For every n, the nth > > FIS of d is contained in l > > This holds if you fix a line l but do not fix the findable part of d.
l is a line of G and hence findable. d_max is not findable and used ("for every n")
Do you agree with the statement
If G is a subset of lines of L and G has a findable last element then there is no line, l, in G for which it is true that For every n, the nth FIS of d is contained in l
