Switch to: Citations

Add references

You must login to add references.
  1. (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  
  • (1 other version)Analytic equivalence relations and Ulm-type classifications.Greg Hjorth & Alexander S. Kechris - 1995 - Journal of Symbolic Logic 60 (4):1273-1300.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • On automorphism groups of countable structures.Su Gao - 1998 - Journal of Symbolic Logic 63 (3):891-896.
    Strengthening a theorem of D.W. Kueker, this paper completely characterizes which countable structures do not admit uncountable L ω 1 ω -elementarily equivalent models. In particular, it is shown that if the automorphism group of a countable structure M is abelian, or even just solvable, then there is no uncountable model of the Scott sentence of M. These results arise as part of a study of Polish groups with compatible left-invariant complete metrics.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • An example concerning Scott heights.M. Makkai - 1981 - Journal of Symbolic Logic 46 (2):301-318.
    Download  
     
    Export citation  
     
    Bookmark   13 citations