model theory;
classification theory;
abstract elementary classes;
stability;
categoricity;
D O I:
10.1142/S0219061306000554
中图分类号:
O1 [数学];
学科分类号:
0701 ;
070101 ;
摘要:
We prove that from categoricity in lambda(+) we can get categoricity in all cardinals >= lambda(+) in a chi-tame abstract elementary classe K which has arbitrarily large models and satisfies the amalgamation and joint embedding properties, provided lambda > LS(K) and lambda >= chi. For the missing case when lambda = LS(K), we prove that K is totally categorical provided that K is categorical in LS(K) and LS(K)(+).
机构:
Carnegie Mellon Univ, Dept Math Sci, Wean Hall 6113, Pittsburgh, PA 15213 USA
Harvard Univ, Dept Math, Sci Ctr, One Oxford St, Cambridge, MA 02138 USACarnegie Mellon Univ, Dept Math Sci, Wean Hall 6113, Pittsburgh, PA 15213 USA