Order:
  1.  73
    Doctrines in categorical logic.Anders Kock & Gonzalo E. Reyes - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 90.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  34
    Differential calculus and nilpotent real numbers.Anders Kock - 2003 - Bulletin of Symbolic Logic 9 (2):225-230.
    Do there exist real numbers d with d2 = 0? The question is formulated provocatively, to stress a formalist view about existence: existence is consistency, or better, coherence.Also, the provocation is meant to challenge the monopoly which the number system, invented by Dedekind et al., is claiming for itself as THE model of the geometric line. The Dedekind approach may be termed “arithmetization of geometry”.We know that one may construct a number system out of synthetic geometry, as Euclid and followers (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  31
    Ieke Moerdijk and Gonzalo E. Reyes. Models for smooth infinitesimal analysis. Springer-Verlag, New York, Berlin, etc., 1991, x + 399 pp. [REVIEW]Anders Kock - 1993 - Journal of Symbolic Logic 58 (1):354-355.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  23
    Review: Ieke Moerdijk, Gonzalo E. Reyes, Models for Smooth Infinitesimal Analysis. [REVIEW]Anders Kock - 1993 - Journal of Symbolic Logic 58 (1):354-355.