Switch to: References

Add citations

You must login to add citations.
  1. The Craig Interpolation Theorem in abstract model theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.
    The Craig Interpolation Theorem is intimately connected with the emergence of abstract logic and continues to be the driving force of the field. I will argue in this paper that the interpolation property is an important litmus test in abstract model theory for identifying “natural,” robust extensions of first order logic. My argument is supported by the observation that logics which satisfy the interpolation property usually also satisfy a Lindström type maximality theorem. Admittedly, the range of such logics is small.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The theory of Boolean ultrapowers.Richard Mansfield - 1971 - Annals of Mathematical Logic 2 (3):297-323.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • On Relations between Structures.Per Lindström - 1966 - Theoria 32 (3):172-185.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Game sentences and ultrapowers.Renling Jin & H. Jerome Keisler - 1993 - Annals of Pure and Applied Logic 60 (3):261-274.
    We prove that if is a model of size at most [kappa], λ[kappa] = λ, and a game sentence of length 2λ is true in a 2λ-saturated model ≡ , then player has a winning strategy for a related game in some ultrapower ΠD of . The moves in the new game are taken in the cartesian power λA, and the ultrafilter D over λ must be chosen after the game is played. By taking advantage of the expressive power of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Horn sentences.Fred Galvin - 1970 - Annals of Mathematical Logic 1 (4):389.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Model theory for universal classes with the amalgamation property: A study in the foundations of model theory and algebra.William K. Forrest - 1977 - Annals of Mathematical Logic 11 (3):263.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Model-completions and modules.P. Eklof - 1971 - Annals of Mathematical Logic 2 (3):251.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Variations on a theme of cantor in the theory of relational structures.J. Richard Büchi & Kenneth J. Danhof - 1973 - Mathematical Logic Quarterly 19 (26‐29):411-426.
    Download  
     
    Export citation  
     
    Bookmark