Re: Set Theories Without The Extensionality Axiom

Re: http://www.cs.nyu.edu/pipermail/fom/2009-July/013850.html

I have explored systems where the usual membership relation
is just one of many binary relations that potentially figure
in the analysis or constitution of a given object, relative
to a particular hierarchy called a "form of analysis", with
no axiomatic guarantee that one can survey all conceivable
forms of analysis in advance.  If one indexes each such
binary relation to the relevant form of analysis, then
one is looking at a ternary relation that I found it
amusing to call "relementhood".

Jon Awbrey

-- 

inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1