From: Johannes Huebschmann <huebschm@math.univ-lille1.fr>
To: peasthope@shaw.ca, categories@mta.ca
Subject: Re: abstraction of notation from sets.
Date: Wed, 24 Feb 2010 15:39:53 +0100 (CET) [thread overview]
Message-ID: <E1NkdVO-0004jZ-3v@mailserv.mta.ca> (raw)
In-Reply-To: <E1NkHCd-0004Zj-6a@mailserv.mta.ca>
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/ ]
next prev parent reply other threads:[~2010-02-24 14:39 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-02-24 0:43 peasthope
2010-02-24 14:39 ` Johannes Huebschmann [this message]
2010-02-24 15:59 ` Mikael Vejdemo-Johansson
2010-02-24 16:46 ` Aleks Kissinger
2010-02-25 7:17 ` Partha Pratim Ghosh
2010-02-25 18:26 ` Michael Shulman
2010-02-26 18:53 ` Richard Garner
2010-02-27 23:20 ` Paul Levy
2010-02-28 21:30 ` Vaughan Pratt
2010-02-24 16:30 peasthope
2010-02-25 19:23 ` Toby Bartels
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1NkdVO-0004jZ-3v@mailserv.mta.ca \
--to=huebschm@math.univ-lille1.fr \
--cc=categories@mta.ca \
--cc=peasthope@shaw.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).