Switch to: Citations

Add references

You must login to add references.
  1. A method in proofs of undefinability.Karel Louis de Bouvère - 1959 - Amsterdam,: North-Holland Pub. Co..
  • Equational Logic.Walter Taylor - 1982 - Journal of Symbolic Logic 47 (2):450-450.
  • Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.
    Direct download  
     
    Export citation  
     
    Bookmark   102 citations  
  • Some applications of infinitely long formulas.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (3):339-349.
    Introduction. This paper is a sequel to our paper [3]. In that paper we introduced the notion of a finite approximation to an infinitely long formula, in a language L with infinitely long expressions of the type considered by Henkin in [2]. The results of the paper [3] show relationships between the models of an infinitely long sentence and the models of its finite approximations. In the present paper we shall apply the main result of [3] to prove a number (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.
    Direct download  
     
    Export citation  
     
    Bookmark   105 citations  
  • Horn sentences.Fred Galvin - 1970 - Annals of Mathematical Logic 1 (4):389.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations