Saturated models in institutions (Q992038)

In this paper the authors define the concept of saturated model at an abstract institution-independent level and develop the fundamental existence and uniqueness theorems. As an application they prove a general institution-independent version of the Keisler-Shelah isomorphism theorem, ``any two elementarily equivalent models have isomorphic ultrapowers'' (assuming the Generalized Continuum Hypothesis).