Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 30110 invoked from network); 3 Mar 2000 22:21:57 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 3 Mar 2000 22:21:57 -0000 Received: (qmail 26645 invoked by uid 40001); 3 Mar 2000 22:21:46 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 26642 invoked from network); 3 Mar 2000 22:21:45 -0000 Received: from hk.egroups.com (208.48.218.13) by zash.lupine.org with SMTP; 3 Mar 2000 22:21:45 -0000 X-eGroups-Return: sentto-44114-2181-mark=kli.org@returns.onelist.com Received: from [10.1.10.37] by hk.egroups.com with NNFMP; 03 Mar 2000 22:21:43 -0000 Received: (qmail 20859 invoked from network); 3 Mar 2000 22:21:41 -0000 Received: from unknown (10.1.10.27) by m3.onelist.org with QMQP; 3 Mar 2000 22:21:41 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.40) by mta2.onelist.org with SMTP; 3 Mar 2000 22:21:41 -0000 Received: (qmail 27490 invoked by uid 0); 3 Mar 2000 22:21:40 -0000 Message-ID: <20000303222140.27489.qmail@hotmail.com> Received: from 200.41.247.43 by www.hotmail.com with HTTP; Fri, 03 Mar 2000 14:21:40 PST X-Originating-IP: [200.41.247.43] 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 14:21:40 PST X-eGroups-From: "Jorge Llambias" From: "Jorge Llambias" Subject: Re: [lojban] Final clubs Content-Type: text/plain Content-Transfer-Encoding: 8bit Content-Length: 1513 Lines: 42 From: "Jorge Llambias" la bendjamn cusku di'e >I think xorxes has a point. It seems you would have to >define at least one club to be final a priori to get >any consistancy. Yes you would. It is not too difficult to prove. Assume there is one non-final club, N. This means that membership in N does not preclude membership in at least one final club, let's say F. Now, let's see what would happen if in that same situation we assume N is final. There is no problem! Obviously F now cannot be final. All the clubs that were final before and precluded N will still be final. The others won't. Some additional clubs may now be final, if they preclude N and all other remaining final clubs. So, if there is one non-final club, then the definition allows at least two possible sets of final clubs, and maybe more. The only way you can have well defined final clubs is if all clubs are final. Otherwise, in some cases having one a priori final club might help, but not always. co'o mi'e xorxes ______________________________________________________ Get Your Private, Free Email at http://www.hotmail.com ------------------------------------------------------------------------ GET A NEXTCARD VISA, in 30 seconds! Get rates as low as 2.9% Intro or 9.9% Fixed APR and no hidden fees. Apply NOW! http://click.egroups.com/1/936/1/_/17627/_/952122101/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com