Realization of φ-types and Keisler's order

被引：20
|
作者：
Malliaris, M. E. [1 ]
机构：
[1] Univ Calif Berkeley, Log Grp, Berkeley, CA 94720 USA
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2009年 / 157卷 / 2-3期
关键词：
Saturation of ultrapowers; Keisler's order; Unstable theories; Regular filters;
D O I：
10.1016/j.apal.2008.09.008
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We show that the analysis of Keisler's order can be localized to the study of phi-types. Specifically, if D is a regular ultrafilter on lambda such that lcf (omega, D) >= lambda(+) and M is a model whose theory is countable, then M-lambda/D is lambda(+)-saturated iff it realizes all phi-types of size X. (C) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码：220 / 224
页数：5
相关论文
共 50 条
12345