Date: Mar 11, 2013 8:58 AM
Subject: Re: Matheology § 222 Back to the roots
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.
Otherwise for every findable part of d there is an identical line.
You can also say that for every findable part of d there is a line
twice as long, if you fix d_1, ..., d_n but do not fix the line.
Why do you think it is more important or in any way preferable to fix
a line but to extend d than vice versa?