From jcowan@reutershealth.com Thu Apr 17 11:38:37 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 17 Apr 2003 11:38:37 -0700 (PDT) Received: from [65.200.144.21] (helo=skunk.reutershealth.com) by digitalkingdom.org with esmtp (Exim 4.12) id 196EHE-0000QH-00; Thu, 17 Apr 2003 11:38:28 -0700 Received: from skunk.reutershealth.com (unknown [127.0.0.1]) by skunk.reutershealth.com (Postfix) with SMTP id 679E846E34; Thu, 17 Apr 2003 14:38:37 -0400 (EDT) Received: by skunk.reutershealth.com (sSMTP sendmail emulation); Thu, 17 Apr 2003 14:38:36 -0400 Date: Thu, 17 Apr 2003 14:38:36 -0400 From: John Cowan To: Martin Bays Cc: lojban-list@lojban.org Subject: [lojban] Re: materials needed for resumption of ju'i lobypli Message-ID: <20030417183836.GI26227@skunk.reutershealth.com> References: <20030416210910.GX14888@skunk.reutershealth.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4i X-archive-position: 4808 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jcowan@reutershealth.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Martin Bays scripsit: > I was trying to figure that out the other day - what's the cardinality of > the set of possible worlds? Or, more likely, is it a proper class? Aleph-one. Whether it is a private class depends on whether you think classes belong to the world state or not. -- Winter: MIT, John Cowan Keio, INRIA, jcowan@reutershealth.com Issue lots of Drafts. http://www.ccil.org/~cowan So much more to understand! http://www.reutershealth.com Might simplicity return? (A "tanka", or extended haiku)