From sentto-44114-2174-mark=kli.org@returns.onelist.com Fri Mar 03 21:17:54 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 29987 invoked from network); 3 Mar 2000 21:17:52 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 3 Mar 2000 21:17:52 -0000 Received: (qmail 24907 invoked by uid 40001); 3 Mar 2000 21:17:51 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 24904 invoked from network); 3 Mar 2000 21:17:51 -0000 Received: from hj.egroups.com (208.48.218.12) by zash.lupine.org with SMTP; 3 Mar 2000 21:17:51 -0000 X-eGroups-Return: sentto-44114-2174-mark=kli.org@returns.onelist.com Received: from [10.1.10.37] by hj.egroups.com with NNFMP; 03 Mar 2000 21:17:46 -0000 Received: (qmail 13693 invoked from network); 3 Mar 2000 21:17:26 -0000 Received: from unknown (10.1.10.27) by m3.onelist.org with QMQP; 3 Mar 2000 21:17:26 -0000 Received: from unknown (HELO smtpproxy1.mitre.org) (129.83.20.100) by mta2.onelist.org with SMTP; 3 Mar 2000 21:17:26 -0000 Received: from avsrv1.mitre.org (avsrv1.mitre.org [129.83.20.58]) by smtpproxy1.mitre.org (8.9.3/8.9.3) with ESMTP id QAA08225 for ; Fri, 3 Mar 2000 16:17:24 -0500 (EST) Received: from MAILHUB2 (mailhub2.mitre.org [129.83.221.18]) by smtpsrv1.mitre.org (8.9.3/8.9.3) with ESMTP id QAA11354 for ; Fri, 3 Mar 2000 16:17:08 -0500 (EST) Received: from dhcp-104-244.mitre.org (128.29.104.244) by mailhub2.mitre.org with SMTP id 2845710; Fri, 03 Mar 2000 16:17:21 EST Message-ID: <38C02CAA.31359EBE@mitre.org> Organization: The MITRE Corporation X-Mailer: Mozilla 4.61 [en]C-19990607M (Win95; U) X-Accept-Language: en To: lojban@onelist.com References: <20000303203143.26769.qmail@hotmail.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 16:20:42 -0500 X-eGroups-From: Carl Burke From: Carl Burke Subject: Re: [lojban] final clubs Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit From: Carl Burke Jorge Llambias wrote: ... > 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 cburke@mitre.org ------------------------------------------------------------------------ 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/937/1/_/17627/_/952118265/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com