Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 528 invoked from network); 5 Mar 2000 23:03:03 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 5 Mar 2000 23:03:03 -0000 Received: (qmail 10879 invoked by uid 40001); 5 Mar 2000 23:03:10 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 10876 invoked from network); 5 Mar 2000 23:03:08 -0000 Received: from hk.egroups.com (208.48.218.13) by zash.lupine.org with SMTP; 5 Mar 2000 23:03:08 -0000 X-eGroups-Return: sentto-44114-2222-mark=kli.org@returns.onelist.com Received: from [10.1.10.36] by hk.egroups.com with NNFMP; 05 Mar 2000 23:03:05 -0000 Received: (qmail 15919 invoked from network); 5 Mar 2000 23:02:51 -0000 Received: from unknown (10.1.10.27) by m2.onelist.org with QMQP; 5 Mar 2000 23:02:51 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.140) by mta2.onelist.org with SMTP; 5 Mar 2000 23:02:51 -0000 Received: (qmail 53415 invoked by uid 0); 5 Mar 2000 23:02:50 -0000 Message-ID: <20000305230250.53414.qmail@hotmail.com> Received: from 200.41.247.53 by www.hotmail.com with HTTP; Sun, 05 Mar 2000 15:02:50 PST X-Originating-IP: [200.41.247.53] 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: Sun, 05 Mar 2000 15:02:50 PST X-eGroups-From: "Jorge Llambias" From: "Jorge Llambias" Subject: Re: [lojban] (unknown) Content-Type: text/plain Content-Transfer-Encoding: 8bit Content-Length: 1191 Lines: 36 From: "Jorge Llambias" la stivn cusku di'e >3. Let the set f be that set which contains all of the members of all >the possible sets m. No! That is the set of all clubs, because every club belongs to at least one maximally preclusive set. (BTW, that is called the union of all maximally preclusive sets.) But you cannot define f as more than one m.p.s. because then final clubs will not satisfy the circular definition. Only one m.p.s. can be the set of final clubs. >4. Call a club, c, a final club iff it is a member of f. > >Just tidying up. Does that do it? It is provably impossible to define f from the given premises, so nothing will do it. 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 0.0% Intro or 9.9% Fixed APR and no hidden fees. Apply NOW! http://click.egroups.com/1/937/1/_/17627/_/952297379/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com