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