[FOM] Cardinality Beyond Regularity and Choice!
Thomas Forster
T.Forster at dpmms.cam.ac.uk
Mon Dec 14 06:31:37 EST 2009
Further to my last: a modifcation rather than an outright retraction.
Gauntt's model violates extensionality rather than foundation beco's it
has distinct empty sets (urelemente). What would be needed to answer
Zuhair's question is a Gauntt model with Quine atoms (objects x = {x})
instead. I am 99% certain that Gauntt's construction works with these
objects instead but we live in an imperfect world and i should check it -
unless some other listmember does it first!
tf
****The server at DPMMS will not be maintained over Christmas.*****
**If you want to be certain of reaching me over this period cc ****
**all emails to thomasforster2000 at yahoo.co.uk or use my UK mobile**
URL: www.dpmms.cam.ac.uk/~tf; DPMMS ph: +44-1223-337981;
UEA ph: +44-1603-593588 mobile in UK +44-7887-701-562;
(Currently in the UK but mobile in NZ +64-210580093.
Canterbury office fone: +64-3-3642987 x 8152)
More information about the FOM
mailing list