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  
  • Homogeneous Universal Models.Michael Morley & Robert Vaught - 1967 - Journal of Symbolic Logic 32 (4):535-535.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Weakly atomic-compact relational structures.G. Fuhrken & W. Taylor - 1971 - Journal of Symbolic Logic 36 (1):129-140.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Compactification of groups and rings and nonstandard analysis.Abraham Robinson - 1969 - Journal of Symbolic Logic 34 (4):576-588.
    Let G be a separated (Hausdorff) topological group and let *G be an enlargement of G (see [8]). Thus, *G (i) possesses the same formal properties as G in the sense explained in [8], and (ii) every set of subsets {Aν} of G with the finite intersection property—i.e. such that every nonempty finite subset of {Aν} has a nonempty intersection—satisfies ∩*Aν ≠ ø, where the *Aν are the extensions of the Aν in *G, respectively.
    Download  
     
    Export citation  
     
    Bookmark   3 citations