Switch to: References

Add citations

You must login to add citations.
  1. Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3):485 - 569.
    This paper is an introduction: in particular, to algebras of relations of various ranks, and in general, to the part of algebraic logic algebraizing quantifier logics. The paper has a survey character, too. The most frequently used algebras like cylindric-, relation-, polyadic-, and quasi-polyadic algebras are carefully introduced and intuitively explained for the nonspecialist. Their variants, connections with logic, abstract model theory, and further algebraic logics are also reviewed. Efforts were made to make the review part relatively comprehensive. In some (...)
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Toward model theory through recursive saturation.John Stewart Schlipf - 1978 - Journal of Symbolic Logic 43 (2):183-206.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • On automorphisms of arbitrary mathematical systems.José Sebastião E. Silva & A. J. Franco de Oliveira - 1985 - History and Philosophy of Logic 6 (1):91-116.
    Translator's summary The translated paper is an extract, published in 1945, of an unpublished thesis, of both historical and technical import, dealing with notions of definability and their relation to invariance under automorphisms. The author develops a metamathematical Galois theory, and discusses and anticipates some aspects of higher-order model theory in an informal but conceptually rich manner.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Remark to “local definability theory” of Reyes.S. Shelah - 1971 - Annals of Mathematical Logic 2 (4):441-447.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Almost sure theories.James F. Lynch - 1980 - Annals of Mathematical Logic 18 (2):91.
    Download  
     
    Export citation  
     
    Bookmark   13 citations