[FOM] CH and mathematics
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