10 found
Order:
  1.  50
    (1 other version)Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
  2.  60
    Lambek's categorical proof theory and läuchli's abstract realizability.Victor Harnik & Michael Makkai - 1992 - Journal of Symbolic Logic 57 (1):200-230.
  3.  23
    A correction to “stationary logic”.Jon Barwise, Matt Kaufmann & Michael Makkai - 1981 - Annals of Mathematical Logic 20 (2):231-232.
  4.  28
    A theorem on barr-exact categories, with an infinitary generalization.Michael Makkai - 1990 - Annals of Pure and Applied Logic 47 (3):225-268.
    Let C be a small Barr-exact category, Reg the category of all regular functors from C to the category of small sets. A form of M. Barr's full embedding theorem states that the evaluation functor e : C →[Reg, Set ] is full and faithful. We prove that the essential image of e consists of the functors that preserve all small products and filtered colimits. The concept of κ-Barr-exact category is introduced, for κ any infinite regular cardinal, and the natural (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  37
    Strong conceptual completeness for first-order logic.Michael Makkai - 1988 - Annals of Pure and Applied Logic 40 (2):167-215.
  6.  21
    Applications of vaught sentences and the covering theorem.Victor Harnik & Michael Makkai - 1976 - Journal of Symbolic Logic 41 (1):171-187.
    We use a fundamental theorem of Vaught, called the covering theorem in [V] (cf. theorem 0.1 below) as well as a generalization of it (cf. Theorem $0.1^\ast$ below) to derive several known and a few new results related to the logic $L_{\omega_1\omega}$. Among others, we prove that if every countable model in a $PC_{\omega_1\omega}$ class has only countably many automorphisms, then the class has either $\leq\aleph_0$ or exactly $2^{\aleph_0}$ nonisomorphic countable members (cf. Theorem $4.3^\ast$) and that the class of countable (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7. University of Illinois at Chicago, Chicago, IL, June 1–4, 2003.Gregory Cherlin, Alan Dow, Yuri Gurevich, Leo Harrington, Ulrich Kohlenbach, Phokion Kolaitis, Leonid Levin, Michael Makkai, Ralph McKenzie & Don Pigozzi - 2004 - Bulletin of Symbolic Logic 10 (1).
     
    Export citation  
     
    Bookmark  
  8.  90
    On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.Michael Makkai - 1995 - Notre Dame Journal of Formal Logic 36 (3):364-381.
    Using the framework of categorical logic, this paper analyzes and streamlines Gabbay's semantical proof of the Craig interpolation theorem for intuitionistic predicate logic. In the process, an apparently new and interesting fact about the relation of coherent and intuitionistic logic is found.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  17
    (1 other version)Anand Pillay. An introduction to stability theory. Oxford logic guides, no. 8. Clarendon Press, Oxford University Press, Oxford and New York1983, xi + 146 pp. [REVIEW]Michael Makkai - 1986 - Journal of Symbolic Logic 51 (2):465-467.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  14
    (1 other version)C. C. Chang and H. J. Keisler. Model theory. Third edition of XLI 697. Studies in logic and the foundations of mathematics, vol. 73. North-Holland, Amsterdam, New York, etc., 1990, xvi + 650 pp. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark