From sentto-44114-2177-mark=kli.org@returns.onelist.com Fri Mar 03 21:52:22 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 30044 invoked from network); 3 Mar 2000 21:52:21 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 3 Mar 2000 21:52:21 -0000 Received: (qmail 25752 invoked by uid 40001); 3 Mar 2000 21:52:19 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 25749 invoked from network); 3 Mar 2000 21:52:17 -0000 Received: from c3.egroups.com (208.48.218.20) by zash.lupine.org with SMTP; 3 Mar 2000 21:52:17 -0000 X-eGroups-Return: sentto-44114-2177-mark=kli.org@returns.onelist.com Received: from [10.1.10.35] by c3.egroups.com with NNFMP; 03 Mar 2000 21:52:15 -0000 Received: (qmail 23909 invoked from network); 3 Mar 2000 21:52:08 -0000 Received: from unknown (10.1.10.26) by m1.onelist.org with QMQP; 3 Mar 2000 21:52:08 -0000 Received: from unknown (HELO reva.sixgirls.org) (160.79.75.88) by mta1.onelist.com with SMTP; 3 Mar 2000 21:52:08 -0000 Received: from localhost (localhost [[UNIX: localhost]]) by reva.sixgirls.org (8.9.3+3.2W/8.9.3) with ESMTP id QAA03343; Fri, 3 Mar 2000 16:52:05 -0500 (EST) To: Jorge Llambias cc: lojban@onelist.com In-Reply-To: <20000303213044.55097.qmail@hotmail.com> Message-ID: 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, 3 Mar 2000 16:52:05 -0500 (EST) X-eGroups-From: Invent Yourself From: Invent Yourself Subject: Re: [lojban] final clubs Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 8bit From: Invent Yourself On Fri, 3 Mar 2000, Jorge Llambias wrote: > 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? Because you can't be a member of B and C, unless you join them simultaneously. If A was final and {B, C} were not, you could join both B and C. ----- When they took the fourth amendment, I was quiet because I didn't deal drugs. When they took the sixth amendment, I was quiet because I was innocent. When they took the second amendment, I was quiet because I didn't own a gun. Now they've taken the first amendment, and I can say nothing about it. ------------------------------------------------------------------------ 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/_/952120329/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com