From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5590 Path: news.gmane.org!not-for-mail From: Johannes Huebschmann Newsgroups: gmane.science.mathematics.categories Subject: Re: abstraction of notation from sets. Date: Wed, 24 Feb 2010 15:39:53 +0100 (CET) Message-ID: References: Reply-To: Johannes Huebschmann NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: dough.gmane.org 1267105585 6883 80.91.229.12 (25 Feb 2010 13:46:25 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 25 Feb 2010 13:46:25 +0000 (UTC) To: peasthope@shaw.ca, categories@mta.ca Original-X-From: categories@mta.ca Thu Feb 25 14:46:21 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Nke2l-0004LK-CW for gsmc-categories@m.gmane.org; Thu, 25 Feb 2010 14:46:19 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NkdVO-0004jZ-3v for categories-list@mta.ca; Thu, 25 Feb 2010 09:11:50 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5590 Archived-At: Dear All "a \epsilon S" is part of the language (ZF). "A is an object of C" is metalanguage. Unfortuantely this gets often confused. I have still known Bernays in my mathematical youth. He would have strongly objected to write "A \epsilon C" for "A is an object of C". Best Johannes On Tue, 23 Feb 2010, peasthope@shaw.ca wrote: > When S is a set, the notation "a \epsilon S" is familiar. > Is this ever extended to CT? All the texts I recall use > natural language such as "A is an object of C". What if > a more symbolic notation is required? > > Thanks, ... Peter E. > > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]