Smooth Infinitesimal Analysis

  • Ieke Moerdijk
  • Gonzalo E. Reyes

Abstract

In previous chapters, notably in Chapters IV and V, we have used “synthetic arguments” at an informal level, trusting that the context would provide a meaning for the term “synthetic”, and would make the arguments themselves plausible. The aim of this final chapter is to make the notion of “synthetic reasoning” explicit, by setting up an axiomatic system which is adequate to formalize the arguments from earlier chapters, as well as some others which we will present below.

Keywords

Open Cover Axiomatic System Atomic Formula Finite Extension Transfer Principle 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1991

Authors and Affiliations

  • Ieke Moerdijk
    • 1
  • Gonzalo E. Reyes
    • 2
  1. 1.Mathematical InstituteUniversity of UtrechtUtrechtThe Netherlands
  2. 2.Department of MathematicsUniversity of MontrealMontrealCanada

Personalised recommendations