Switch to: References

Add citations

You must login to add citations.
  1. The model-companion of a class of structures.G. L. Cherlin - 1972 - Journal of Symbolic Logic 37 (3):546-556.
    Download  
     
    Export citation  
     
    Bookmark  
  • Completing theories by forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Fondements de la logique positive.Itaï Ben Yaacov & Et Bruno Poizat - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Positive Jonsson Theories.Bruno Poizat & Aibat Yeshkeyev - 2018 - Logica Universalis 12 (1-2):101-127.
    This paper is a general introduction to Positive Logic, where only what we call h-inductive sentences are under consideration, allowing the extension to homomorphisms of model-theoric notions which are classically associated to embeddings; in particular, the existentially closed models, that were primitively defined by Abraham Robinson, become here positively closed models. It accounts for recent results in this domain, and is oriented towards the positivisation of Jonsson theories.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Model theoretic dynamics in Galois fashion.Daniel Max Hoffmann - 2019 - Annals of Pure and Applied Logic 170 (7):755-804.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Model-completions and modules.P. Eklof - 1971 - Annals of Mathematical Logic 2 (3):251.
    Download  
     
    Export citation  
     
    Bookmark   38 citations