Author:
Butz Carsten,Johnstone Peter
Reference20 articles.
1. Boolean classifying topoi;Blass;J. Pure Appl. Algebra,1983
2. La logique des topos;Boileau;J. Symbolic Logic,1981
3. Change of base for toposes with generators;Diaconescu;J. Pure Appl. Algebra,1975
4. Sheaves and logic;Fourman,1979
5. Categories, Allegories;Freyd,1990
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A TOPOS FOR CONTINUOUS LOGIC;THEOR APPL CATEG;2022
2. INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM;The Journal of Symbolic Logic;2020-09
3. Infinitary first-order categorical logic;Annals of Pure and Applied Logic;2019-02
4. A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE;The Journal of Symbolic Logic;2017-12
5. T-motives;Journal of Pure and Applied Algebra;2017-07