Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 29459 invoked from network); 3 Mar 2000 15:59:08 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 3 Mar 2000 15:59:08 -0000 Received: (qmail 15279 invoked by uid 40001); 3 Mar 2000 15:59:00 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 15276 invoked from network); 3 Mar 2000 15:58:58 -0000 Received: from c3.egroups.com (208.48.218.20) by zash.lupine.org with SMTP; 3 Mar 2000 15:58:58 -0000 X-eGroups-Return: sentto-44114-2157-mark=kli.org@returns.onelist.com Received: from [10.1.10.38] by c3.egroups.com with NNFMP; 03 Mar 2000 15:58:56 -0000 Received: (qmail 17192 invoked from network); 3 Mar 2000 15:58:38 -0000 Received: from unknown (10.1.10.26) by m4.onelist.org with QMQP; 3 Mar 2000 15:58:38 -0000 Received: from unknown (HELO mail.reutershealth.com) (204.243.9.36) by mta1.onelist.com with SMTP; 3 Mar 2000 15:58:37 -0000 Received: from reutershealth.com (IDENT:cowan@skunk.reutershealth.com [204.243.9.153]) by mail.reutershealth.com (Pro-8.9.3/8.9.3) with ESMTP id KAA26081 for ; Fri, 3 Mar 2000 10:58:28 -0500 (EST) Sender: cowan@mail.reutershealth.com Message-ID: <38BFE12B.76DC2AFC@reutershealth.com> Organization: Reuters Health Information X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.5-15 i686) X-Accept-Language: en To: "lojban@onelist.com" References: <38BD60D0.CEA4FE4E@reutershealth.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 10:58:35 -0500 X-eGroups-From: John Cowan From: John Cowan Subject: Re: [lojban] Sets etc. Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit Content-Length: 1619 Lines: 47 From: John Cowan Peter Moulder wrote: > Does `any' above mean `all' or `some'? I've taken it to mean `all'. Me too. > Consider the case where there are two or more clubs, and no club > precludes membership in any other club. What answer would you want > the "definition" to give in this case? I think we can afford to ignore cases where the definition doesn't converge. After all, there really is a Yale and it really does have clubs, some of which are really final. What we want, to paraphrase Chip Delaney, is to know what we are talking about when we are talking about them. > For all values of (C, E, F) within the above domain: > > final(C, E, F) <=> > (all[C1] > ((C1 \in C) > => ((C1 \in F) > <=> (all[F1] > ((F1 \in F) > => ((C1 = F1) > ; (pair(C1, F1) \in E)))))). Looks correct to me. -- Schlingt dreifach einen Kreis vom dies! || John Cowan Schliesst euer Aug vor heiliger Schau, || http://www.reutershealth.com Denn er genoss vom Honig-Tau, || http://www.ccil.org/~cowan Und trank die Milch vom Paradies. -- Coleridge (tr. Politzer) ------------------------------------------------------------------------ DON'T HATE YOUR RATE! 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/2120/1/_/17627/_/952099118/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com