Received: from mail-qc0-f190.google.com ([209.85.216.190]:56523) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XSfus-0006uw-NK for lojban-list-archive@lojban.org; Fri, 12 Sep 2014 22:30:35 -0700 Received: by mail-qc0-f190.google.com with SMTP id x13sf296678qcv.7 for ; Fri, 12 Sep 2014 22:30:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=7sqVFC6A/0NBzZGRg/ZPQOWQaBqDgmoF3WCnTIPx9Ys=; b=hCZguQuhG0yhDKW8Ptq2h++AQGDs9HujlT5d1bgOqYlPhUTGANAzhldJ3dRBBA895a GQcTqBDSNlIbYBkc0+FAC3SEPu7TgVYxjW6guB33T6FWCj6BvB+bUz00HytNjIGEZ8et f4grA0A06skPlA1vkHlih0imbTR29F8pw+tYNIKD4/pSlRv57AiXJzbgU2hA3m5iU/Yz mMVZMCynbhqLWeCKoSF84rGg9mWI8McEtQfFy4Z1n/rXz7/H+1GA3D2AiiOLh18HO9XK Vn+W/oOoAaLpy+0NT0Ku3DVkAexp13wVyad3gSTJ98FMu8nbyyT+Vbo7xa03AIZyFnqU YO8A== X-Received: by 10.50.115.74 with SMTP id jm10mr95420igb.12.1410586227994; Fri, 12 Sep 2014 22:30:27 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.13.4 with SMTP id d4ls942391igc.19.canary; Fri, 12 Sep 2014 22:30:27 -0700 (PDT) X-Received: by 10.42.62.73 with SMTP id x9mr7895659ich.15.1410586227268; Fri, 12 Sep 2014 22:30:27 -0700 (PDT) Received: from mail-qa0-x234.google.com (mail-qa0-x234.google.com [2607:f8b0:400d:c00::234]) by gmr-mx.google.com with ESMTPS id ld1si1439114qcb.3.2014.09.12.22.30.27 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Fri, 12 Sep 2014 22:30:27 -0700 (PDT) Received-SPF: pass (google.com: domain of lytlesw@gmail.com designates 2607:f8b0:400d:c00::234 as permitted sender) client-ip=2607:f8b0:400d:c00::234; Received: by mail-qa0-f52.google.com with SMTP id m5so1700870qaj.11 for ; Fri, 12 Sep 2014 22:30:27 -0700 (PDT) X-Received: by 10.140.31.75 with SMTP id e69mr19396320qge.2.1410586227159; Fri, 12 Sep 2014 22:30:27 -0700 (PDT) MIME-Version: 1.0 Received: by 10.229.159.211 with HTTP; Fri, 12 Sep 2014 22:29:57 -0700 (PDT) In-Reply-To: <5f663c7d-7419-4b60-a3b4-a05deb9283a5@googlegroups.com> References: <1410554374.11890.YahooMailNeo@web181102.mail.ne1.yahoo.com> <5f663c7d-7419-4b60-a3b4-a05deb9283a5@googlegroups.com> From: MorphemeAddict Date: Sat, 13 Sep 2014 01:29:57 -0400 Message-ID: Subject: Re: [lojban] Re: C-sets To: lojban@googlegroups.com X-Original-Sender: lytlesw@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of lytlesw@gmail.com designates 2607:f8b0:400d:c00::234 as permitted sender) smtp.mail=lytlesw@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=001a113a96cafeba9c0502ebb245 X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --001a113a96cafeba9c0502ebb245 Content-Type: text/plain; charset=UTF-8 The draft at that link seems to treat C-sets as the more common, standard set theory kind, with L-sets as the less common kind, just the opposite of John's post above, AIUI. stevo On Fri, Sep 12, 2014 at 9:57 PM, Andrew Browne wrote: > Incase anyone else is looking for some more background to understand this: > http://pckipo.blogspot.com.au/2009/09/c-sets-and-l-sets-draft.html > > PC: what your previous blog post, and this post, is missing is > showing/explaining some examples of these different kinds of sets in > Lojban. This would be quite helpful if you want to promote usage. > > Andrew / DerSaidin > > -- > 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 > email 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. > For more options, visit https://groups.google.com/d/optout. > -- 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 email 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. For more options, visit https://groups.google.com/d/optout. --001a113a96cafeba9c0502ebb245 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
The draft at that link seems to treat C-sets as the more com= mon, standard set theory kind, with L-sets as the less common kind, just th= e opposite of John's post above, AIUI.=C2=A0

stevo

On Fri, Sep 12, 2014 = at 9:57 PM, Andrew Browne <dersaidin@gmail.com> wrote:
=
Incase anyone else is looki= ng for some more background to understand this:=

PC: what your previous blog post, and this post, is mis= sing is showing/explaining some examples of these different kinds of sets i= n Lojban. This would be quite helpful if you want to promote usage.

Andrew / DerSaidin

--
You received this message because you are subscribed to the Google Groups &= quot;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.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
--001a113a96cafeba9c0502ebb245--