17 found
Order:
  1.  11
    Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
  2.  6
    Gerald E. Sacks. Saturated Model Theory. Photolithographed From Typewritten Manuscript. Advanced Book Program. W. A. Benjamin, Inc., Reading, Mass., 1972, Xiv + 335 Pp. [REVIEW]Michael Makkai - 1975 - Journal of Symbolic Logic 40 (4):637-640.
  3.  31
    Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability.Victor Harnik & Michael Makkai - 1992 - Journal of Symbolic Logic 57 (1):200-230.
  4.  2
    A Correction to “Stationary Logic”.Jon Barwise, Matt Kaufmann & Michael Makkai - 1981 - Annals of Mathematical Logic 20 (2):231-232.
  5.  14
    Strong Conceptual Completeness for First-Order Logic.Michael Makkai - 1988 - Annals of Pure and Applied Logic 40 (2):167-215.
  6.  66
    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  
  7.  2
    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  
  8.  3
    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   2 citations  
  9.  16
    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  
  10.  17
    Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  4
    Review: M. A. Dickmann, Large Infinitary Languages. Model Theory. [REVIEW]Michael Makkai - 1978 - Journal of Symbolic Logic 43 (1):144-145.
  12.  2
    Stationary Logic.Jon Barwise, Matt Kaufmann & Michael Makkai - 1981 - Journal of Symbolic Logic 46 (4):867-868.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  4
    Review: Gerald E. Sacks, Saturated Model Theory. [REVIEW]Michael Makkai - 1975 - Journal of Symbolic Logic 40 (4):637-640.
  14.  2
    M. A. Dickmann. Large Infinitary Languages. Model Theory. Studies in Logic and the Foundations of Mathematics, Vol. 83. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Xv+ 464 Pp. [REVIEW]Michael Makkai - 1978 - Journal of Symbolic Logic 43 (1):144-145.
  15.  1
    Review: Anand Pillay, An Introduction to Stability Theory. [REVIEW]Michael Makkai - 1986 - Journal of Symbolic Logic 51 (2):465-467.
  16. 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  
  17. 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