Re: Sets etc.

["Jorge Llambias" <jjllambias@hotmail.com>]

>I think we can afford to ignore cases where the definition doesn't 
>converge.
>After all, there really is a Yale and it really does have clubs,
>some of which are really final.

Really? What if a new club comes along. Can't we just call it
the one and only final club and still satisfy the "definition"
for as long as none of the other clubs preclude membership
in it? There's somthing fishy going on.

> > For all values of (C, E, F) within the above domain:
> >
> >  final(C, E, F) <=>
> >    (all[C1]
> >      ((C1 \in C)
> >       => ((C1 \in F)
> >           <=> (all[F1]
> >                 ((F1 \in F)
> >                  => ((C1 = F1)
> >                      ; (pair(C1, F1) \in E)))))).
>
>Looks correct to me.

But this is still circular, isn't it?

According to this, "preclude" is not to be taken as
by the rules of the clubs, but in practice. Is that right?

co'o mi'e xorxes

______________________________________________________
Get Your Private, Free Email at http://www.hotmail.com