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).

"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$."