Switch to: Citations

Add references

You must login to add references.
  1. Some dichotomy theorems for isomorphism relations of countable models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.
    Strengthening known instances of Vaught Conjecture, we prove the Glimm-Effros dichotomy theorems for countable linear orderings and for simple trees. Corollaries of the theorems answer some open questions of Friedman and Stanley in an L ω 1ω -interpretability theory. We also give a survey of this theory.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An example concerning Scott heights.M. Makkai - 1981 - Journal of Symbolic Logic 46 (2):301-318.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)A complete L ω1ω-sentence characterizing ℵ1.Julia F. Knight - 1977 - Journal of Symbolic Logic 42 (1):59-62.
    Download  
     
    Export citation  
     
    Bookmark   6 citations