Author:
Kock A.,Lecouturier P.,Mikkelsen C. J.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. M. Artin, A. Grothendieck, and J.L. Verdier, Théorie des topos et cohomologie etale des schemas (SGA 4), Springer Lecture Notes Vol. 269 and 270 (1973).
2. M. Barr, Exact categories, in Barr, Grillet, and van Osdol, Exact categories and categories of sheaves, Springer Lecture Notes Vol. 236 (1971).
3. J. Benabou, Categories et logiques faibles, Oberwolfach Tagungsbericht 30/1973.
4. G. Birkhoff and O. Frink, Representation of lattices by sets, Trans.Amer.Math.Soc. 64, 299–316 (1948).
5. P.M. Cohn, Universal algebra, Harper and Row 1965.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Finiteness and Computation in Toposes;Electronic Proceedings in Theoretical Computer Science;2016-03-02
2. The History of Categorical Logic: 1963–1977;Handbook of the History of Logic;2012
3. An induction principle and pigeonhole principles for K-finite sets;Journal of Symbolic Logic;1995-12
4. Weak compactness in constructive spaces;Mathematical Proceedings of the Cambridge Philosophical Society;1992-01
5. References;Topoi - The Categorial Analysis of Logic;1984