Finitary sketches

Journal of Symbolic Logic

Volumn 62, Issue 3, 1997, Pages 699-707

  Adamek J ^a   Johnstone, P T ^b   Makowsky, J A ^c   Rosicky J ^d  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^c TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^d MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0040058577     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275568     Document Type: Article

References (13)

1. J. ADÁMEK and J. ROSICKÝ, Locally presentable and accessible categories, Cambridge University Press, Cambridge, 1994.
2. _. Finitary sketches and finitely accessible categories, Mathematical Structures in Computer Science, vol. 5 ( 1995), pp. 315-322.
3. _. On geometric and finitary sketches, Applied Categorical Structures, vol. 4 (1996), pp. 227-240.
4. M. BARR and C. WELLS, Category theory for computer science. Prentice Hall, New York, 1990.
5. C. C. CHANG and H. J. KEISLER, Model theory, Studies in logic, vol. 73, North-Holland, 3rd ed., 1990.
6. P. FREYD, Aspects of tapoi, Bulletin of the Australian Mathematical Society, vol. 7 (1972), pp. 1-76.
7. P. T. JOHNSTONE, Finitary sketches and σ-coherent theories, Abstracts of C.A.E.N. workshop, September 1994, to appear.
8. P. T. JOHNSTONE and G. G. WRAITH, Algebraic theories in toposes, Lecture Notes in Mathematics, vol. 661, Springer-Verlag, 1978, pp. 141-242.
9. H. J. KEISLER, Limit ultrapowers. Transactions of the American Mathematical Society, vol. 107 (1963), pp. 382-408.
10. M. MAKKAI and R. PARÉ, Accessible categories, Contemporary mathematics, vol. 104, American Mathematical Society, Providence, 1990.
11. M. MAKKAI and G. E. REYES, First order categorical logic, vol. 611, Springer, 1977.
12. J. MAKOWSKY, Compactness, embeddings and definability, Model-theoretic logics, Springer-Verlag, 1985.
13. ω1,ω is enough: a reduction theorem for some infinitary languages, this JOURNAL, vol. 37 (1972), pp. 705-710.