[FOM] CH and mathematics

[Thomas Forster]

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