Received: from mail-bw0-f61.google.com ([209.85.214.61]:50991)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRCrotz1BBoEKJzLHw@googlegroups.com>)
	id 1RNBg5-0005FC-VC; Sun, 06 Nov 2011 14:59:09 -0800
Received: by bkat2 with SMTP id t2sf4103188bka.16
        for <multiple recipients>; Sun, 06 Nov 2011 14:58:54 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type;
        bh=07XcByrUHo0komltbF6IvIyVQSfQvNs2GJggduvxGYI=;
        b=mk/iDXIO+nDL2gtwCdZqA9yie2rI+U9ZsByxfdvqBLpcAz9p67nuUlkCNxEixSVcAb
         11Sy+ojx2OoArcBcDehrma+8sUJSonv8xTCRZiKT5IhvHs6A/EAluEFJMXgHdFJzaUch
         LHQ8RN6ykqSp2JC6WkGGGV1pYg3eEqh/GIoYM=
Received: by 10.204.143.24 with SMTP id s24mr1820163bku.35.1320620331678;
        Sun, 06 Nov 2011 14:58:51 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.29.7 with SMTP id o7ls2278487bkc.2.gmail; Sun, 06 Nov 2011
 14:58:50 -0800 (PST)
Received: by 10.204.184.2 with SMTP id ci2mr2803521bkb.7.1320620330469;
        Sun, 06 Nov 2011 14:58:50 -0800 (PST)
Received: by 10.204.184.2 with SMTP id ci2mr2803520bkb.7.1320620330449;
        Sun, 06 Nov 2011 14:58:50 -0800 (PST)
Received: from mail-fx0-f53.google.com (mail-fx0-f53.google.com [209.85.161.53])
        by gmr-mx.google.com with ESMTPS id i17si8947358fai.0.2011.11.06.14.58.50
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 06 Nov 2011 14:58:50 -0800 (PST)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.161.53 as permitted sender) client-ip=209.85.161.53;
Received: by mail-fx0-f53.google.com with SMTP id n15so1929335faa.40
        for <lojban@googlegroups.com>; Sun, 06 Nov 2011 14:58:50 -0800 (PST)
MIME-Version: 1.0
Received: by 10.152.144.202 with SMTP id so10mr5447017lab.9.1320620330243;
 Sun, 06 Nov 2011 14:58:50 -0800 (PST)
Received: by 10.152.19.198 with HTTP; Sun, 6 Nov 2011 14:58:50 -0800 (PST)
In-Reply-To: <20111106215741.GD2703@gonzales>
References: <20111106215741.GD2703@gonzales>
Date: Sun, 6 Nov 2011 19:58:50 -0300
Message-ID: <CAO7tK2ddLu=dmh5PtPGYymPbvJ1YDA6JB6gcai4eYK1vHvK06Q@mail.gmail.com>
Subject: Re: [lojban] self-referential goi
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.161.53 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

On Sun, Nov 6, 2011 at 6:57 PM, Martin Bays <mbays@sdf.org> wrote:
> I thought this was cute, and it seems to be allowed by the BPFK section
> definition of {goi}:
>
> {ko'a goi li pa lo'o ce'o ko'a ce'o ke li re lo'o ce'o ko'a zo'u pa
> cimni je terkancu cu mleca lo se zilkancu be lu'i ko'a}
>
> It's the continuum hypothesis ;)

I don't really quite know how either "lu'i" or "ce'o" are meant to work, but...

Assuming ko'a is a set, wouldn't "lu'i ko'a" be a singleton, and so
"lo se zilkancu be lu'i ko'a" be just one?

And doesn't ko'a have only three members: 1, ko'a, {2, ko'a}?

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.