FOM: sharp boundaries/tameness

Harvey Friedman friedman at
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