On 1/11/07, Michael Slone <[EMAIL PROTECTED]> wrote:
The rule we choose is the following. First select a nonprincipal ultrafilter on the natural numbers.
I *hate* the ultrapower construction, because nobody's been able to actually construct a free ultrafilter. -- Taral <[EMAIL PROTECTED]> "You can't prove anything." -- Gödel's Incompetence Theorem
