19 found
Order:
  1.  6
    Stationary Logic.Jon Barwise, Matt Kaufmann & Michael Makkai - 1978 - Annals of Mathematical Logic 13 (2):171-224.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   27 citations  
  2.  7
    Categoricity of Theories in Lϰω, with Κ a Compact Cardinal.Saharon Shelah & Michael Makkai - 1990 - Annals of Pure and Applied Logic 47 (1):41-97.
  3.  12
    Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability.Victor Harnik & Michael Makkai - 1992 - Journal of Symbolic Logic 57 (1):200-230.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  5
    Strong Conceptual Completeness for First-Order Logic.Michael Makkai - 1988 - Annals of Pure and Applied Logic 40 (2):167-215.
  5.  5
    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 (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  6. A Correction to “Stationary Logic”.Jon Barwise, Matt Kaufmann & Michael Makkai - 1981 - Annals of Mathematical Logic 20 (2):231-232.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  7.  8
    Categoricity of Theories in< I> L_< Sub> Κω, with Κ a Compact Cardinal.Saharon Shelah & Michael Makkai - 1990 - Annals of Pure and Applied Logic 47 (1):41-97.
  8.  1
    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 (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9. Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
  10.  8
    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  
     
    My bibliography  
  11.  6
    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  
     
    My bibliography  
  12.  2
    Review: Gerald E. Sacks, Saturated Model Theory. [REVIEW]Michael Makkai - 1975 - Journal of Symbolic Logic 40 (4):637-640.
  13. 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  
     
    My bibliography  
  14. Applications of Vaught Sentences and the Covering Theorem.Victor Harnik & Michael Makkai - 1976 - Journal of Symbolic Logic 41 (1):171-187.
  15. Dickmann M. A.. 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.
  16. Pillay Anand. An Introduction to Stability Theory. Oxford Logic Guides, No. 8. Clarendon Press, Oxford University Press, Oxford and New York 1983, Xi + 146 Pp. [REVIEW]Michael Makkai - 1986 - Journal of Symbolic Logic 51 (2):465-467.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Review: Anand Pillay, An Introduction to Stability Theory. [REVIEW]Michael Makkai - 1986 - Journal of Symbolic Logic 51 (2):465-467.
  18. Review: M. A. Dickmann, Large Infinitary Languages. Model Theory. [REVIEW]Michael Makkai - 1978 - Journal of Symbolic Logic 43 (1):144-145.
  19. Sacks Gerald E.. 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.