Switch to: Citations

Add references

You must login to add references.
  1. Reducts of the random graph.Simon Thomas - 1991 - Journal of Symbolic Logic 56 (1):176-181.
  • The Two-valued Iterative Systems of Mathematical Logic.H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The 116 reducts of (ℚ, <,a).Markus Junker & Martin Ziegler - 2008 - Journal of Symbolic Logic 73 (3):861-884.
    This article aims to classify those reducts of expansions of (Q, <) by unary predicates which eliminate quantifiers, and in particular to show that, up to interdefinability, there are only finitely many for a given language. Equivalently, we wish to classify the closed subgroups of Sym(Q) containing the group of all automorphisms of (Q, <) fixing setwise certain subsets. This goal is achieved for expansions by convex predicates, yielding expansions by constants as a special case, and for the expansion by (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations