From sentto-44114-2946-960195398-mark=kli.org@returns.onelist.com Mon Jun 05 08:54:36 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 5112 invoked from network); 5 Jun 2000 08:54:35 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 5 Jun 2000 08:54:35 -0000 Received: (qmail 17592 invoked by uid 40001); 5 Jun 2000 08:56:40 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 17589 invoked from network); 5 Jun 2000 08:56:40 -0000 Received: from ck.egroups.com (208.50.144.69) by zash.lupine.org with SMTP; 5 Jun 2000 08:56:40 -0000 X-eGroups-Return: sentto-44114-2946-960195398-mark=kli.org@returns.onelist.com Received: from [10.1.10.38] by ck.egroups.com with NNFMP; 05 Jun 2000 08:56:38 -0000 Received: (qmail 3806 invoked from network); 5 Jun 2000 08:56:37 -0000 Received: from unknown (10.1.10.26) by m4.onelist.org with QMQP; 5 Jun 2000 08:56:37 -0000 Received: from unknown (HELO imo16.mx.aol.com) (152.163.225.6) by mta1 with SMTP; 5 Jun 2000 08:56:37 -0000 Received: from Pycyn@aol.com by imo16.mx.aol.com (mail_out_v27.9.) id a.9c.4543288 (4230) for ; Mon, 5 Jun 2000 04:56:33 -0400 (EDT) Message-ID: <9c.4543288.266cc540@aol.com> To: lojban@egroups.com X-Mailer: AOL 3.0 16-bit for Windows sub 41 From: pycyn@aol.com MIME-Version: 1.0 Mailing-List: list lojban@egroups.com; contact lojban-owner@egroups.com Delivered-To: mailing list lojban@egroups.com Precedence: bulk List-Unsubscribe: Date: Mon, 5 Jun 2000 04:56:32 EDT Subject: Re: [lojban] Transfinite ordinals Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit In a message dated 00-06-04 21:20:26 EDT, you write: << notice that Lojban has a word for transfinite cardinals, but not for transfinite ordinals. Transfinite cardinals (denoted by Hebrew letters with subscripts) tell the number of elements in a set; transfinite ordinals (denoted by Greek letters) tell how it is ordered. For instance, the set of all positive integers has cardinality aleph-null and ordinality omega. The set of all positive integers and aleph-null still has cardinality aleph-null, but its ordinality is omega+1. The set of all ordered pairs of positive integers has ordinality omega*omega, but its cardinality is still aleph-null. Anyone want to add a word for these? >> Will we do better than <.o'obu>? Adding all the paraphenalia of subscripts and the like, can get most of these. And, of course, there are all those other order types than the well-ordering (I forget the main ones: eta? and iota? for dense and continuous?) and even the extreme well-orderings -- of omegas and then the inaccessibles. If we ever need those (and I hope it is rarely) we will get the signs we need for them. ------------------------------------------------------------------------ Best friends, most artistic, class clown Find 'em here: http://click.egroups.com/1/4054/3/_/17627/_/960195385/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com