Categories of Topological Spaces and Scattered Theories
Knight, R. W.
Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, p. 53-77 / Harvested from Project Euclid
We offer a topological treatment of scattered theories intended to help to explain the parallelism between, on the one hand, the theorems provable using Descriptive Set Theory by analysis of the space of countable models and, on the other, those provable by studying a tree of theories in a hierarchy of fragments of infinintary logic. We state some theorems which are, we hope, a step on the road to fully understanding counterexamples to Vaught's Conjecture. This framework is in the early stages of development, and one area for future exploration is the possibility of extending it to a setting in which the spaces of types of a theory are uncountable.
Publié le : 2007-01-14
Classification:  Scott space,  Stone space,  Vaught's conjecture,  03C15,  06E15,  18B30,  54B30
@article{1172787545,
     author = {Knight, R. W.},
     title = {Categories of Topological Spaces and Scattered Theories},
     journal = {Notre Dame J. Formal Logic},
     volume = {48},
     number = {1},
     year = {2007},
     pages = { 53-77},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1172787545}
}
Knight, R. W. Categories of Topological Spaces and Scattered Theories. Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, pp.  53-77. http://gdmltest.u-ga.fr/item/1172787545/