Switch to: References

Add citations

You must login to add citations.
  1. Projective subsets of separable metric spaces.Arnold W. Miller - 1990 - Annals of Pure and Applied Logic 50 (1):53-69.
    In this paper we will consider two possible definitions of projective subsets of a separable metric space X. A set A subset of or equal to X is Σ11 iff there exists a complete separable metric space Y and Borel set B subset of or equal to X × Y such that A = {x ε X : there existsy ε Y ε B}. Except for the fact that X may not be completely metrizable, this is the classical definition of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Applications of Fodor's lemma to Vaught's conjecture.Mark Howard - 1989 - Annals of Pure and Applied Logic 42 (1):1-19.
  • Some recent developments in higher recursion theory.Sy D. Friedman - 1983 - Journal of Symbolic Logic 48 (3):629-642.
    In recent years higher recursion theory has experienced a deep interaction with other areas of logic, particularly set theory (fine structure, forcing, and combinatorics) and infinitary model theory. In this paper we wish to illustrate this interaction by surveying the progress that has been made in two areas: the global theory of the κ-degrees and the study of closure ordinals.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Model theory for L∞ω1.Sy D. Friedman - 1984 - Annals of Pure and Applied Logic 26 (2):103-122.
  • Model theory for< i> L_< sub>∞ ω1.Sy D. Friedman - 1984 - Annals of Pure and Applied Logic 26 (2):103-122.
  • Model theory for "L"[infinity]omega 1.S. D. Friedman - 1984 - Annals of Pure and Applied Logic 26 (2):103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark