[FOM] uncountable structures and core mathematics II

joeshipman@aol.com joeshipman at aol.com
Mon Feb 20 13:37:48 EST 2006


Baldwin:

>But I also advance the more tenuous proposition that there are direct
>connections between model theoretic properties of larger models and
>currently popular mathematics.

>The results discussed are mostly in ZFC -but some crucial points 
require
>that cardinal exponential is a strictly increasing function (at least 
up
>to $\aleph_omega$.

So what happens to these connections in the case that 2^aleph_0 = 
2^aleph_1?  Do the model-theoretic properties of larger models then 
have anything to say about currently popular mathematics?

-- Joseph Shipman


More information about the FOM mailing list