Order:
  1. Injectives in Finitely Generated Universal Horn Classes.Michael H. Albert & Ross Willard - 1987 - Journal of Symbolic Logic 52 (3):786-792.
    Let K be a finite set of finite structures. We give a syntactic characterization of the property: every element of K is injective in ISP(K). We use this result to establish that A is injective in ISP(A) for every two-element algebra A.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  2.  38
    Hereditary Undecidability of Some Theories of Finite Structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
    Using a result of Gurevich and Lewis on the word problem for finite semigroups, we give short proofs that the following theories are hereditarily undecidable: (1) finite graphs of vertex-degree at most 3; (2) finite nonvoid sets with two distinguished permutations; (3) finite-dimensional vector spaces over a finite field with two distinguished endomorphisms.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  6
    New-From-Old Full Dualities Via Axiomatisation.Brian A. Davey, Jane G. Pitkethly & Ross Willard - 2018 - Annals of Pure and Applied Logic 169 (7):588-615.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark