[FOM] Uncountable structures and `core mathematics'
friedman at math.ohio-state.edu
Sun Feb 19 13:20:37 EST 2006
On 2/19/06 10:27 AM, "John Baldwin" <jbaldwin at uic.edu> wrote:
> Here are some interactions between the study of the `uncountable' and core
> I have a couple of follow-ups on this that I should post in a few days.
Are these in the category of:
1. various set theoretic notions coming up naturally in the model theoretic
treatment of core mathematics turn out to be equivalent to natural concrete
2. various set theoretic notions coming up naturally in core mathematics
turn out to be equivalent to natural concrete notions.
3. various set theoretic notions used by core mathematicians turn out to be
equivalent to natural concrete notions.
4. substantial set theoretic methods (countable but highly impredicative)
are used by core mathematicians in treating countable objects.
I notice that you rather carefully used the word "some interactions".
More information about the FOM