From jjllambias@hotmail.com Fri Mar 3 13:30:44 2000 X-Digest-Num: 383 Message-ID: <44114.383.2177.959273826@eGroups.com> Date: Fri, 03 Mar 2000 13:30:44 PST From: "Jorge Llambias" Subject: Re: final clubs > > 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