Saturated models in institutions
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).
scientific article; zbMATH DE number 5781209
scientific article