[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!


****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