This paper shows that continuous first order logic can be viewed as a particular fragment of L_{\omega_1, \omega} by analyzing the dense subsets of the models. This analysis is extended to MAECs by showing that they can be analyzed as (discrete) AECs.
A previous iteration had a separate version with some proofs, but these have now been restored to a single version.