MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 edited tags
show/hide this revision's text 1

Model theory stressing order type of universe.

In Appendix B to their Model Theory, Chang and Keisler list some problems and conjectures that, at the time of publication, were unsolved. A few of them take imperative form, for instance:

"Develop a theory of models which stresses the order type of the model $\mathfrak{A} = \langle A, <, \dots\rangle$ rather than the cardinality of the set $A$."

Has anyone worked on this?