Model constructions in stationary logic. II: Definable ultrapowers (Q1087538)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Model constructions in stationary logic. II: Definable ultrapowers |
scientific article; zbMATH DE number 3987261
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model constructions in stationary logic. II: Definable ultrapowers |
scientific article; zbMATH DE number 3987261 |
Statements
Model constructions in stationary logic. II: Definable ultrapowers (English)
0 references
1986
0 references
In this paper we continue our investigation of techniques for constructing new models of an arbitrary theory T in stationary logic, L(aa). In Part I [J. Symb. Logic 45, 439-454 (1980; Zbl 0479.03021)], we discussed the technique of model-theoretic forcing as a tool for building models in L(aa). In this note we present a technique for constructing models by a series of definable ultrapowers.
0 references
0.7413680553436279
0 references
0.720391035079956
0 references
0.7194052934646606
0 references
