Date: Mar 7, 2013 6:39 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots
On 7 Mrz., 11:35, William Hughes <wpihug...@gmail.com> wrote:

> On Mar 7, 11:12 am, WM <mueck...@rz.fh-augsburg.de> wrote:

>

>

>

> > On 6 Mrz., 23:48, William Hughes <wpihug...@gmail.com> wrote:

>

> > > On Mar 6, 7:44 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

>

> > > > On 6 Mrz., 13:18, William Hughes <wpihug...@gmail.com> wrote:

>

> > > <snip>

>

> > > > > A subset K of the lines of L

> > > > > contains every FIS of d iff

> > > > > K has no findable last line.

>

> > > > No

>

> > > Let G be a subset of the lines of L

> > > with a findable last line. Call

> > > this line g.

>

> Note

>

> There does not exist

> (in the sense of not findable)

> a natural number m such that

> the mth line of L is coFIS with

> d

Note, there does not exist d other than as every FIS. These FISs are

the same as the lines. Every findable thing in one set has a

corresponding finadable thing in the other. There is no difference

constructible.

Regards, WM