Switch to: References

Add citations

You must login to add citations.
  1. Categories of Topological Spaces and Scattered Theories.R. W. Knight - 2007 - Notre Dame Journal of Formal Logic 48 (1):53-77.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory.Vassilios Gregoriades - 2017 - Mathematical Logic Quarterly 63 (6):544-551.
    We prove a recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory by using tools from effective descriptive set theory and by revisiting the result of Miller that orbits in Polish G‐spaces are Borel sets.
    Download  
     
    Export citation  
     
    Bookmark  
  • The countable admissible ordinal equivalence relation.William Chan - 2017 - Annals of Pure and Applied Logic 168 (6):1224-1246.
    Download  
     
    Export citation  
     
    Bookmark   2 citations