Skip to main content
SpringerLink
Log in

Ultraproducts and categorical logic

  • Conference paper
  • First Online:
Methods in Mathematical Logic

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 1130))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Makkai and G.E. Reyes, First order categorical logic. Lecture Notes in Mathematics no. 611, Springer Verlag, 1977.

    Google Scholar 

  2. M. Makkai and A. Pitts, Some results on finitely presentable categories.

    Google Scholar 

  3. P. Gabriel and M. Zisman, Calculus of Fractions and Homotopy Theory, Springer-Verlag, 1967.

    Google Scholar 

  4. C.C. Chang and H.J. Keisler,, Model Theory, North-Holland, 1973.

    Google Scholar 

  5. Theorie des Topos et Cohomologie Etale des Schemas, ed. M. Artin, A. Grothendieck and J.L. Verdier. Lecture Notes in Mathematics no.’s 269 and 270. Springer-Verlag, 1972.

    Google Scholar 

  6. G. Cherlin, L. Harrington and A.H. Lachlan, ℵ0-categorical ℵ0-stable structures.

    Google Scholar 

  7. S. Shelah, Classification Theory, North-Holland, 1978.

    Google Scholar 

  8. M. Makkai, Stone duality for first order logic, Proceedings of the Herbrand Symposium, ed. J. Stern, North-Holland, 1982, pp. 217–232.

    Google Scholar 

  9. M. Makkai, Stone duality for first order logic, to appear in Advances in Mathematics.

    Google Scholar 

  10. P.T. Johnstone, Topos Theory, Academic Press, 1977.

    Google Scholar 

  11. M. Makkai and G.E. Reyes, Model theoretic methods in the theory of topoi and related categories, Bull. Acad. Polon. Sci. 24, pp. 379–392.

    Google Scholar 

  12. S. MacLane, Categories for the Working Mathematician. Springer-Verlag, 1971.

    Google Scholar 

  13. A.M. Pitts, Amalgamation and interpolation in the category of Heyting algebras. J. Pure and Applied Algebra 29(1983), 155–165.

    Article  MathSciNet  MATH  Google Scholar 

  14. A.M. Pitts, An application of open maps to categorical logic. J. Pure and Applied Algebra 29(1983), 313–326.

    Article  MathSciNet  MATH  Google Scholar 

  15. A. Joyal and M. Tierney, An extension of the Galois theory of Grothendieck, Memoirs A.M.S.

    Google Scholar 

  16. M. Makkai, The topos of types, Lecture Notes in Math., no. 859, Springer-Verlag, pp. 157–201.

    Google Scholar 

  17. M. Makkai, Full continuous embeddings of toposes, Trans. A.M.S. 269(1982), pp. 167–196.

    Article  MathSciNet  MATH  Google Scholar 

  18. D. Lascar, On the category of models of a complete theory, J. Symbolic Logic 47(1982), pp. 249–266.

    Article  MathSciNet  MATH  Google Scholar 

  19. P. Gabriel and F. Ulmer, Lokal präsentierbare Kategorien. Lecture Notes in Math., no. 221, Springer-Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Statistics, McGill University, 805 Sherbrooke St. West, H3A 2K6, Montreal, Quebec, Canada

    M. Makkai

Authors
  1. M. Makkai
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Carlos Augusto Di Prisco

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag

About this paper

Cite this paper

Makkai, M. (1985). Ultraproducts and categorical logic. In: Di Prisco, C.A. (eds) Methods in Mathematical Logic. Lecture Notes in Mathematics, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0075314

Download citation

  • DOI: https://doi.org/10.1007/BFb0075314

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15236-1

  • Online ISBN: 978-3-540-39414-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation