Re: abstraction of notation from sets.

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/ ]