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.