Saturated models in institutions (Q992038)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Saturated models in institutions |
scientific article |
Statements
Saturated models in institutions (English)
0 references
8 September 2010
0 references
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).
0 references
saturated models
0 references
institutions
0 references
institution-independent model theory
0 references
0 references
