Switch to: Citations

Add references

You must login to add references.
  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 (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • On the model theory of denumerably long formulas with finite strings of quantifiers.M. Makkai - 1969 - Journal of Symbolic Logic 34 (3):437-459.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem.Takashi Nagashima - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):12-18.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Theory of models with generalized atomic formulas.H. Jerome Keisler - 1960 - Journal of Symbolic Logic 25 (1):1-26.
    Download  
     
    Export citation  
     
    Bookmark   18 citations