[FOM] CH and mathematics

Thomas Forster T.Forster at dpmms.cam.ac.uk
Sun Feb 3 17:00:29 EST 2008

> But much more is true:  The well founding axiom does not exclude any
> structure at all, up to isomorphism.  No isomorphism type of structure
> in V lies outside WF.  Insofar as structures are only interesting up to
> isomorphism, there are provably no interesting structures in V outside
> of WF.

Tell me about this.  What results are you appealing to?  

URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph: 
+44-1223-337981. Mobile +44-7887-701-562.

More information about the FOM mailing list