Date: Mar 11, 2013 4:22 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots

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