From sentto-44114-2191-mark=kli.org@returns.onelist.com Sat Mar 04 02:27:24 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 30446 invoked from network); 4 Mar 2000 02:27:23 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 4 Mar 2000 02:27:23 -0000 Received: (qmail 5386 invoked by uid 40001); 4 Mar 2000 02:27:26 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 5383 invoked from network); 4 Mar 2000 02:27:26 -0000 Received: from hk.egroups.com (208.48.218.13) by zash.lupine.org with SMTP; 4 Mar 2000 02:27:26 -0000 X-eGroups-Return: sentto-44114-2191-mark=kli.org@returns.onelist.com Received: from [10.1.10.36] by hk.egroups.com with NNFMP; 04 Mar 2000 02:27:22 -0000 Received: (qmail 31153 invoked from network); 4 Mar 2000 02:27:21 -0000 Received: from unknown (10.1.10.26) by m2.onelist.org with QMQP; 4 Mar 2000 02:27:21 -0000 Received: from unknown (HELO eeyore.cc.uic.edu) (128.248.171.51) by mta1.onelist.com with SMTP; 4 Mar 2000 02:27:21 -0000 Received: from [128.248.10.149] (slip4b-01.dialin.uic.edu [128.248.10.149]) by eeyore.cc.uic.edu (8.9.3/8.9.3) with ESMTP id UAA20056 for ; Fri, 3 Mar 2000 20:24:26 -0600 (CST) X-Sender: sbelknap@mailserv.uic.edu Message-Id: 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, 3 Mar 2000 20:26:47 -0600 X-eGroups-From: Steven Belknap From: Steven Belknap Subject: [lojban] pc has got it Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit From: Steven Belknap >pc: >1. Call a set, s, of clubs preclusive it being a member of any one of the >clubs in s precludes being a member of any other club in s. >2. Call a set, m, of clubs maximally preclusive if it is preclusive and >every proper superset of it is not preclusive (i.e., adding any other club to >the set destroys its preclusivity - someone could belong to the new club as >well as to some club in m set). >Note, the empty set and all singletons are preclusive and some larrger sets >may be. But this is not yet necessarily sets of final clubs. Each maximally >preclusive set is final with repect to itself and some subset of the clubs, >but not yet necessarily for the whole set of clubs. However, >3) the intersection of the set of all maximally preclusive sets (i.e., the >set of clubs that are in every one of these max prec sets) is the set of >final clubs for the whole set of clubs. It is, of course, maximally >preclusive and final over the whole set. >So, the final clubs are those which are in all maximally preclusive sets of >clubs. >I think. pc Nicely done. I believe that you have defined final clubs. The "maximally preclusive" concept is the key. It might be easier to get your head around this for lojban translation purposes if expressed from the point of view of a single club. So a final club is any club which is in all maximally preclusive sets of clubs. Steven Steven Belknap, M.D. Assistant Professor of Clinical Pharmacology and Medicine University of Illinois College of Medicine at Peoria ------------------------------------------------------------------------ GET A NEXTCARD VISA, in 30 seconds! Get rates as low as 0.0% Intro APR and no hidden fees. Apply NOW! http://click.egroups.com/1/975/1/_/17627/_/952136842/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com