Uncountable dense categoricity in cats

被引:30
|
作者
Ben-Yaacov, I [1 ]
机构
[1] Univ Wisconsin, Dept Math, Madison, WI 53706 USA
关键词
categoricity; compact abstract theories;
D O I
10.2178/jsl/1122038916
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We prove that under reasonable assumptions. every cat (compact abstract theory) is metric, and develop some of the theory of metric cats. We generalise Morley's theorem: if a countable Hausdorff cat T has a unique complete model of density character lambda >= omega(1), then it has a unique complete model of density character lambda for every lambda >= omega(1).
引用
收藏
页码:829 / 860
页数:32
相关论文
共 50 条