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