[FOM] logical complexity of ultrafilters

[George Kapoulas]

I was told that the definition of
an ultrafilter requires 
the use of $L_{{\omega_1} \omega}$  language.
Does anyone know a reference  for this
or what is the logical complexity  for
the definition  of an ultrafilter,
or a quick description of the definition?

Thanks in advance.

gkapou at yahoo.gr

=====
Με εκτιμηση
Γ. Καπούλας 


Regards
George Kapoulas



 http://www.againsttcpa.com/tcpa-faq-en.html


It is a miracle indeed that the new methods of teaching
have not managed to kill the sacred quriosity  of the question 
Einstein
Do not worry having trouble in math. I can assure you I had much worse!
Einstein to a 12 year old student

____________________________________________________________
Do You Yahoo!?
Αποκτήστε τη δωρεάν @yahoo.gr διεύθυνση σας στο http://www.otenet.gr