From sentto-44114-2176-mark=kli.org@returns.onelist.com Fri Mar 03 21:30:54 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 30008 invoked from network); 3 Mar 2000 21:30:47 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 3 Mar 2000 21:30:47 -0000 Received: (qmail 25158 invoked by uid 40001); 3 Mar 2000 21:30:47 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 25155 invoked from network); 3 Mar 2000 21:30:46 -0000 Received: from hk.egroups.com (208.48.218.13) by zash.lupine.org with SMTP; 3 Mar 2000 21:30:46 -0000 X-eGroups-Return: sentto-44114-2176-mark=kli.org@returns.onelist.com Received: from [10.1.10.38] by hk.egroups.com with NNFMP; 03 Mar 2000 21:30:45 -0000 Received: (qmail 28187 invoked from network); 3 Mar 2000 21:30:45 -0000 Received: from unknown (10.1.10.27) by m4.onelist.org with QMQP; 3 Mar 2000 21:30:45 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.90) by mta2.onelist.org with SMTP; 3 Mar 2000 21:30:45 -0000 Received: (qmail 55098 invoked by uid 0); 3 Mar 2000 21:30:44 -0000 Message-ID: <20000303213044.55097.qmail@hotmail.com> Received: from 200.41.247.49 by www.hotmail.com with HTTP; Fri, 03 Mar 2000 13:30:44 PST X-Originating-IP: [200.41.247.49] 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 13:30:44 PST X-eGroups-From: "Jorge Llambias" From: "Jorge Llambias" Subject: Re: [lojban] final clubs Content-Type: text/plain Content-Transfer-Encoding: 8bit From: "Jorge Llambias" > > Definition: Every club is a final club. > > > > To disprove it all you have to do is find a configuration > > where some clubs are not final and yet final clubs are > > well defined. I don't think there is one. > >Suppose we have the following situation: >Club A imposes no conditions on its members >Club B requires members to swear a loyalty oath, > and to swear no other oaths >Club C requires members to swear a loyalty oath, > and to swear no other oaths > >The set of final clubs is well-defined, and is composed of >clubs B and C (the set of clubs which require loyalty oaths); >membership in club A neither precludes nor is precluded by >membership in clubs B or C. This doesn't help us find a >non-recursive definition of 'final club', but it does >illustrate that not all clubs are necessarily final. > >-- >Carl Burke How can you tell in that example that it is B and C that are final, and not that A is the only final club? 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/_/952119045/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com