05781209

j

05781209 Diaconescu, R\u azvan Petria, Marius Saturated models in institutions. Arch. Math. Logic 49, No. 6, 693-723 (2010). 2010 Springer-Verlag, Berlin EN saturated models institutions institution-independent model theory

doi:10.1007/s00153-010-0193-8

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). Dimitru Bu\c sneag (Craiova)