Categories of Topological Spaces and Scattered Theories


Abstract
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
Keywords Scott space   Stone space   Vaught's conjecture
Categories (categorize this paper)
DOI 10.1305/ndjfl/1172787545
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,629
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Topological Spaces Equivalent to Ordinals.Jörg Flum & Juan Carlos Martinez - 1988 - Journal of Symbolic Logic 53 (3):785-795.
Dynamic Topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
More on D-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
Reduced Coproducts of Compact Hausdorff Spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.

Analytics

Added to PP index
2010-08-24

Total views
11 ( #720,917 of 2,280,568 )

Recent downloads (6 months)
1 ( #835,594 of 2,280,568 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature