From jay.kominek@colorado.edu Fri Nov 30 22:07:28 2001
Return-Path: <kominek@ucsub.colorado.edu>
X-Sender: kominek@ucsub.colorado.edu
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-8_0_0_1); 1 Dec 2001 06:07:27 -0000
Received: (qmail 95338 invoked from network); 1 Dec 2001 06:07:26 -0000
Received: from unknown (216.115.97.171)
  by m10.grp.snv.yahoo.com with QMQP; 1 Dec 2001 06:07:26 -0000
Received: from unknown (HELO ucsub.colorado.edu) (128.138.129.12)
  by mta3.grp.snv.yahoo.com with SMTP; 1 Dec 2001 06:07:28 -0000
Received: from ucsub.colorado.edu (kominek@ucsub.colorado.edu [128.138.129.12])
  by ucsub.colorado.edu (8.11.6/8.11.2/ITS-5.0/student) with ESMTP id fB167SC16530
  for <lojban@yahoogroups.com>; Fri, 30 Nov 2001 23:07:28 -0700 (MST)
Date: Fri, 30 Nov 2001 23:07:28 -0700 (MST)
To: lojban@yahoogroups.com
Subject: Re: [lojban] The bigness of a set
In-Reply-To: <Pine.NEB.4.33.0112010035240.11480-100000@reva.sixgirls.org>
Message-ID: <Pine.GSO.4.40.0111302300100.24545-100000@ucsub.colorado.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=utf-8
Content-Transfer-Encoding: QUOTED-PRINTABLE
From: Jay Kominek <jay.kominek@colorado.edu>
X-Yahoo-Profile: jfkominek


On Sat, 1 Dec 2001, Invent Yourself wrote:

> Typically "lo'i ratcu" means {the set of rats}. In this case it means {th=
e
> cardinality of the set of rats}.

Why?

lo'i ratcu cu barda -cardinality zo'e

barda's x2 seems to solve this problem. What is unsatisfactory about it?

(And of course cardinality can be taken care of by "zo'e")

- Jay Kominek <jay.kominek@colorado.edu>
Plus =C3=A7a change, plus c'est la m=C3=AAme chose