FOM: sharp boundaries/tameness

Harvey Friedman friedman at math.ohio-state.edu
Wed Feb 13 14:53:46 EST 2002


I wrote 1:33PM 2/13/02:

>I claim that from any proper elementary extension of the real field
>together with a predicate for the integers, one can explicitly
>obtain a nonprincipal ultrafilter on all subsets of omega.

That appeared by error. Please delete.






More information about the FOM mailing list