Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Horn sentences.Fred Galvin - 1970 - Annals of Mathematical Logic 1 (4):389.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations