[FOM] Model theory and foundations IV

[John T. Baldwin]

Friedman writes:

However, consider real closed fields. There is intricate set theoretic 
information at every uncountable cardinal, because of the order. Would 
you consider a necessarily set theoretic study of the structure of 
uncountable real closed fields part of model theory?


Baldwin replies.  This seems to be a misconception, real closed fields 
are essentially ordered. The study of their orderings is model theory by 
any standard.   I.e. I see no justification for `necessarily set 
theoretic study' in the previous comment.

 (I have some recollection that this was largely settled by Abraham 
Robinson 40 years ago.  Maybe someone has
more precise information).


-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/fom/attachments/20030709/30e8c1cf/attachment.html