| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662272 | Annals of Pure and Applied Logic | 2009 | 5 Pages |
Abstract
We show that the analysis of Keisler’s order can be localized to the study of φ-types. Specifically, if D is a regular ultrafilter on λ such that lcf(ω,D)≥λ+ and M is a model whose theory is countable, then Mλ/D is λ+-saturated iff it realizes all φ-types of size λ.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
