From sentto-44114-2159-mark=kli.org@returns.onelist.com Fri Mar 03 16:27:32 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 29500 invoked from network); 3 Mar 2000 16:27:27 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 3 Mar 2000 16:27:27 -0000 Received: (qmail 16206 invoked by uid 40001); 3 Mar 2000 16:27:28 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 16203 invoked from network); 3 Mar 2000 16:27:25 -0000 Received: from ej.egroups.com (208.50.144.75) by zash.lupine.org with SMTP; 3 Mar 2000 16:27:25 -0000 X-eGroups-Return: sentto-44114-2159-mark=kli.org@returns.onelist.com Received: from [10.1.10.35] by ej.egroups.com with NNFMP; 03 Mar 2000 16:27:23 -0000 Received: (qmail 28044 invoked from network); 3 Mar 2000 16:27:19 -0000 Received: from unknown (10.1.10.27) by m1.onelist.org with QMQP; 3 Mar 2000 16:27:19 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.176) by mta2.onelist.org with SMTP; 3 Mar 2000 16:27:19 -0000 Received: (qmail 97022 invoked by uid 0); 3 Mar 2000 16:27:19 -0000 Message-ID: <20000303162719.97021.qmail@hotmail.com> Received: from 200.41.247.32 by www.hotmail.com with HTTP; Fri, 03 Mar 2000 08:27:19 PST X-Originating-IP: [200.41.247.32] To: lojban@onelist.com MIME-Version: 1.0 Mailing-List: list lojban@onelist.com; contact lojban-owner@onelist.com Delivered-To: mailing list lojban@onelist.com Precedence: bulk List-Unsubscribe: Date: Fri, 03 Mar 2000 08:27:19 PST X-eGroups-From: "Jorge Llambias" From: "Jorge Llambias" Subject: Re: [lojban] Sets etc. Content-Type: text/plain Content-Transfer-Encoding: 8bit From: "Jorge Llambias" >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 ------------------------------------------------------------------------ MAXIMIZE YOUR CARD, MINIMIZE YOUR RATE! Get a NextCard Visa, in 30 seconds! Get rates as low as 0.0% Intro or 9.9% Fixed APR and no hidden fees. Apply NOW! http://click.egroups.com/1/2122/1/_/17627/_/952100840/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com