Skip to main content

Topos-theoretic factorization of non-standard extensions

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

Keywords

  • Universal Quantification
  • High Order Logic
  • Springer Lecture Note
  • Existential Quantification
  • Logic Preserve

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   46.00
Price excludes VAT (Canada)
  • 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Barr, Exact Categories, in Barr, Grillet, and van Osdol: Exact Categories and Categories of Sheaves, Springer Lecture Notes, Vol. 236 (1971).

    Google Scholar 

  2. S. Eilenberg and G.M. Kelly, Closed Categories, Proc. Conf. Categorical Algebra (La Jolla 1965), Springer Verlag 1966.

    Google Scholar 

  3. J. Gray, The Meeting of Midwest Category Seminar in Zürich August 24–30, 1970, Reports of the Midwest Category Seminar V, Springer Lecture Notes Vol. 195 (1971).

    Google Scholar 

  4. G.M. Kelly, Adjunction for Enriched Categories, Reports of the Midwest Category Seminar III, Springer Lecture Notes Vol. 106 (1969).

    Google Scholar 

  5. A. Kock, Introduction to Functorial Semantics, mimeographed notes, The Bertrand Russell Memorial Logic Conference; Uldum, Denmark, August 1971.

    Google Scholar 

  6. A. Kock and C.J. Mikkelsen, Non-standard extensions in the theory of toposes, Aarhus Universitet Preprint Series 1971/72 No. 25.

    Google Scholar 

  7. A. Kock and C.J. Mikkelsen, Strongly faithful functors between toposes, in preparation.

    Google Scholar 

  8. A. Kock and G.C. Wraith, Elementary Toposes, Aarhus Universitet Lecture Notes Series No. 30 (1971).

    Google Scholar 

  9. F.W. Lawvere, An elementary theory of the category of sets, mimeographed, University of Chicago 1963.

    Google Scholar 

  10. F.W. Lawvere, Reports of the Conference of Mathematical Logic, Leicester 1965.

    Google Scholar 

  11. F.W. Lawvere, Equality in Hyperdoctrines and Comprehension Scheme as an Adjoint Functor, Proceedings of Symposia in Pure Mathematics, Vol. 17, AMS (1970).

    Google Scholar 

  12. F.W. Lawvere, Quantifiers and Sheaves, Actes, Congress International Math. 1970 (Nice), Tome 1, p. 329–334.

    Google Scholar 

  13. F.W. Lawvere and M. Tierney, to appear.

    Google Scholar 

  14. M. Machover and J. Hirschfeld, Lectures on Non-standard Analysis, Springer Lecture Notes Vol. 94 (1969).

    Google Scholar 

  15. C.J. Mikkelsen, Colimits in toposes, in preparation.

    Google Scholar 

  16. A. Robinson, Non-standard Analysis, North Holland 1966.

    Google Scholar 

  17. H. Volger, Logical categories, semantical categories, and topoi, to appear.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1974 Springer-Verlag

About this paper

Cite this paper

Kock, A., Mikkelsen, C.J. (1974). Topos-theoretic factorization of non-standard extensions. In: Hurd, A., Loeb, P. (eds) Victoria Symposium on Nonstandard Analysis. Lecture Notes in Mathematics, vol 369. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0066007

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06656-9

  • Online ISBN: 978-3-540-37928-7

  • eBook Packages: Springer Book Archive