Review: Michael Makkai, Robert Pare, Accessible Categories: The Foundations of Categorical Model Theory [Book Review]

Journal of Symbolic Logic 58 (1):355-357 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275346

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,674

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Accessible categories, saturation and categoricity.Jiří Rosický - 1997 - Journal of Symbolic Logic 62 (3):891-901.
Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.
Review: Gerald E. Sacks, Saturated Model Theory. [REVIEW]Michael Makkai - 1975 - Journal of Symbolic Logic 40 (4):637-640.
Lambek's categorical proof theory and läuchli's abstract realizability.Victor Harnik & Michael Makkai - 1992 - Journal of Symbolic Logic 57 (1):200-230.
Review: M. A. Dickmann, Large Infinitary Languages. Model Theory. [REVIEW]Michael Makkai - 1978 - Journal of Symbolic Logic 43 (1):144-145.
Neither categorical nor set-theoretic foundations.Geoffrey Hellman - 2013 - Review of Symbolic Logic 6 (1):16-23.
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
Categorical Foundations and Mathematical Practice.C. McLarty - 2012 - Philosophia Mathematica 20 (1):111-113.
Model completeness for trivial, uncountably categorical theories of Morley rank 1.Alfred Dolich, Michael C. Laskowski & Alexander Raichev - 2006 - Archive for Mathematical Logic 45 (8):931-945.
A theorem on barr-exact categories, with an infinitary generalization.Michael Makkai - 1990 - Annals of Pure and Applied Logic 47 (3):225-268.
Alpha-conversion, conditions on variables and categorical logic.Pierre-Louis Curien - 1989 - Studia Logica 48 (3):319 - 360.
Computable Models of Theories with Few Models.Bakhadyr Khoussainov, Andre Nies & Richard A. Shore - 1997 - Notre Dame Journal of Formal Logic 38 (2):165-178.
Applications of Kolmogorov Complexity to Computable Model Theory.B. Khoussainov, P. Semukhin & F. Stephan - 2007 - Journal of Symbolic Logic 72 (3):1041 - 1054.
Review: Anand Pillay, An Introduction to Stability Theory. [REVIEW]Michael Makkai - 1986 - Journal of Symbolic Logic 51 (2):465-467.

Analytics

Added to PP
2013-11-22

Downloads
9 (#1,272,715)

6 months
1 (#1,501,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references