Received: from mail-ye0-f183.google.com ([209.85.213.183]:49240)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBCOZJTMR5YGRB6U3UGEAKGQE3BCBGPA@googlegroups.com>)
	id 1U0JjG-0000Mf-SO; Tue, 29 Jan 2013 14:32:49 -0800
Received: by mail-ye0-f183.google.com with SMTP id r5sf410326yen.20
        for <multiple recipients>; Tue, 29 Jan 2013 14:32:27 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-received:x-beenthere:x-received:x-received:received-spf
         :mime-version:x-received: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:content-transfer-encoding;
        bh=C8q4cc0Ccq8inTOcghIS5SXSFpGm0GpE4b/YWVG3x2I=;
        b=c6oPLCZ+RzD48OhJKpISvrL+Hvf4Nn2bYWGFjbLra682gWLvYKB0hh6Vm5lJDTFbB+
         km1vxSXGXbAk1/0PRZGaOM5rGMX+o8wodt0PLnfwscY3S/vFoA8ze+EONF2yIPpsArhR
         cOrMDYfqhuIyITCI55XI2BXX9gAORoeH41TVANMCIZuyuSsKssj7QEZ0bZZHYBXiwn3Y
         ghZ1GTd2BtyOlIZpmVrTlHXQQ7wAvDCW3UYT61C6SQBXoa40dplwusn415icEiNGOsFm
         wYhJVTcCl675z0QdGTDSQz+zU/S2NsB5hEB3XLKioyLPIYpow/GogmvoX5JycA0HWlNQ
         2asQ==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-received:x-beenthere:x-received:x-received:received-spf
         :mime-version:x-received: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:content-transfer-encoding;
        bh=C8q4cc0Ccq8inTOcghIS5SXSFpGm0GpE4b/YWVG3x2I=;
        b=h9jx/Ft1R6yk2YP7r7Zl478XhAzYegdrguPP55hE0WtpqutwkahmY4vFPVIDPf451G
         DlJfoqp9/p9OD0+RQr8wGNiDS4HSqq16DYQW1rMwB+i7ZGDFhzYPIDf5SakNxDbeW+N+
         JQC8Pp4rcOQg2QkmBc0UXA+nQTtNsFaEpca1VFYUYGeQDyaBcK+i20zPfcsHi4ytwu4d
         qzrYm3MVuL6nwwHXvbi8nhPJqE2lML20V2Cvs6ukNEBoneEzNmk9HdyhNCz3s+DL4jQ5
         1dFqYD6QHIQEY1U2cS+cvmFcWLoOn0MGOGnudH9e/b4KTLGb7gSWceaZc5GNhKmxi3S0
         /EUg==
X-Received: by 10.50.217.201 with SMTP id pa9mr473453igc.17.1359498746436;
        Tue, 29 Jan 2013 14:32:26 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.50.53.173 with SMTP id c13ls580110igp.38.gmail; Tue, 29 Jan
 2013 14:32:25 -0800 (PST)
X-Received: by 10.68.222.167 with SMTP id qn7mr281298pbc.1.1359498745544;
        Tue, 29 Jan 2013 14:32:25 -0800 (PST)
X-Received: by 10.68.222.167 with SMTP id qn7mr281297pbc.1.1359498745531;
        Tue, 29 Jan 2013 14:32:25 -0800 (PST)
Received: from mail-da0-f47.google.com (mail-da0-f47.google.com [209.85.210.47])
        by gmr-mx.google.com with ESMTPS id c2si2641231pav.0.2013.01.29.14.32.25
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Tue, 29 Jan 2013 14:32:25 -0800 (PST)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.210.47 as permitted sender) client-ip=209.85.210.47;
Received: by mail-da0-f47.google.com with SMTP id s35so438343dak.20
        for <lojban@googlegroups.com>; Tue, 29 Jan 2013 14:32:25 -0800 (PST)
MIME-Version: 1.0
X-Received: by 10.68.247.39 with SMTP id yb7mr6681348pbc.15.1359498745436;
 Tue, 29 Jan 2013 14:32:25 -0800 (PST)
Received: by 10.66.233.225 with HTTP; Tue, 29 Jan 2013 14:32:25 -0800 (PST)
In-Reply-To: <BEA005D0-59D4-474B-8EC9-14128DF1B538@gmail.com>
References: <BEA005D0-59D4-474B-8EC9-14128DF1B538@gmail.com>
Date: Tue, 29 Jan 2013 19:32:25 -0300
Message-ID: <CAO7tK2e512Y1FZRoi0MRs0=Ds_oYoLMfkLuRHJYoWoe2FAgepw@mail.gmail.com>
Subject: Re: [lojban] {moi}3, Predicates, and Conventions
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.210.47 as
 permitted sender) smtp.mail=jjllambias@gmail.com;       dkim=pass 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:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.1 (/)
X-Spam_score: -0.1
X-Spam_score_int: 0
X-Spam_bar: /

On Mon, Jan 28, 2013 at 7:49 PM, tsani nicte <nictytan@gmail.com> wrote:
>
> As for numeric moi, things get trickier, because the predicate needs to o=
rder the elements (which means they must be somehow orderable.) For the pur=
pose of exemplification, let's take {lo'i prenu} as our moi2, and try to cr=
eate a predicate that numerically orders them according to the time at whic=
h they arrive at my house. (This is the part I'm not sure of:) {lo ka ce'u =
zmadu ce'u lo ni ca makau ce'u klamu'o lo mi zdani}. It looks like each arg=
ument of the predicate refers to elements of the set. {moi} is "smart" enou=
gh to order the elements of the set based on which elements are superior to=
 which elements. This is reminiscent of simxu2, isn't it?
>
> My problem with this is that behaviour of moi and moi3 seems to depend on=
 whether the moi is numeric or associative, unless I or someone else can co=
nstruct a decent type of moi3 that is universal for numeric and associative=
 moi.

But an ordering is just an association to the naturals, isn't it?

As for your example, you could use as the association something like
"x1 is associated to the number n, which is one more than the number
of people that arrive before x1"

mu'o mi'e xorxes

--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban?hl=3Den.
For more options, visit https://groups.google.com/groups/opt_out.