Switch to: Citations

Add references

You must login to add references.
  1. Continuous model theory.Chen Chung Chang - 1966 - Princeton,: Princeton University Press. Edited by H. Jerome Keisler.
    CONTINUOUS MODEL THEORY CHAPTER I TOPOLOGICAL PRELIMINARIES. Notation Throughout the monograph our mathematical notation does not differ drastically from ...
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A theorem on permutations in models.Lars Svenonius - 1959 - Theoria 25 (3):173-178.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Logic with denumerably long formulas and finite strings of quantifiers.Dana Scott - 1965 - Journal of Symbolic Logic 36 (1):1104--329.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Homogeneous Universal Models.Michael Morley & Robert Vaught - 1967 - Journal of Symbolic Logic 32 (4):535-535.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388. [REVIEW]E. G. K. Lopez-Escobar - 1969 - Journal of Symbolic Logic 34 (2):301-302.
    Download  
     
    Export citation  
     
    Bookmark   12 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Finite Approximations of Infinitely Long Formulas.H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):129-130.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Universal Relational Systems.B. Jonsson - 1967 - Journal of Symbolic Logic 32 (4):534-535.
    Download  
     
    Export citation  
     
    Bookmark   7 citations