Uncountable dense categoricity in cats

Ben-Yaacov, Itay

J. Symbolic Logic, Tome 70 (2005) no. 1, p. 829-860 / Harvested from Project Euclid

Résumé

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 λ ≥ ω₁, then it has a unique complete model of density character λ for every λ ≥ ω₁.

Publié le : 2005-09-14
Classification: categoricity, compact abstract theories

@article{1122038916,
     author = {Ben-Yaacov, Itay},
     title = {Uncountable dense categoricity in cats},
     journal = {J. Symbolic Logic},
     volume = {70},
     number = {1},
     year = {2005},
     pages = { 829-860},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1122038916}
}

Ben-Yaacov, Itay. Uncountable dense categoricity in cats. J. Symbolic Logic, Tome 70 (2005) no. 1, pp.  829-860. http://gdmltest.u-ga.fr/item/1122038916/