@article{CTGDC_2004__45_4_243_0, author = {Bunge, Marta and Jibladze, Mamumka and Streicher, Thomas}, title = {Definable completeness}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, pages = {243--266}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {45}, number = {4}, year = {2004}, mrnumber = {2108193}, zbl = {1067.18001}, language = {en}, url = {http://archive.numdam.org/item/CTGDC_2004__45_4_243_0/} }
TY - JOUR AU - Bunge, Marta AU - Jibladze, Mamumka AU - Streicher, Thomas TI - Definable completeness JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 2004 SP - 243 EP - 266 VL - 45 IS - 4 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://archive.numdam.org/item/CTGDC_2004__45_4_243_0/ LA - en ID - CTGDC_2004__45_4_243_0 ER -
%0 Journal Article %A Bunge, Marta %A Jibladze, Mamumka %A Streicher, Thomas %T Definable completeness %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 2004 %P 243-266 %V 45 %N 4 %I Dunod éditeur, publié avec le concours du CNRS %U http://archive.numdam.org/item/CTGDC_2004__45_4_243_0/ %G en %F CTGDC_2004__45_4_243_0
Bunge, Marta; Jibladze, Mamumka; Streicher, Thomas. Definable completeness. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 45 (2004) no. 4, pp. 243-266. http://archive.numdam.org/item/CTGDC_2004__45_4_243_0/
[1] Molecular toposes. J. Pure Appl. Alg., 17:127-152, 1980. | MR | Zbl
and[2] Spreads and the symmetric topos. J. Pure Appl. Alg., 113:1-38, 1996. | MR | Zbl
and[3] Distribution algebras and duality. Advances in Mathematics, 156:133-155, 2000. | MR | Zbl
, , , and[4] Covering spaces with singularities. In R. H. Fox et al., editors, Algebraic Geometry and Topology: A Symposium in Honor of S. Lefschetz, pages 243 257. Princeton University Press, Princeton, 1957. | MR | Zbl
[5] The display locale of a cosheaf. Cahiers de Top. et Géom. Diff. Catégoriques, 36(1):53-93, 1995. | EuDML | Numdam | MR | Zbl
[6] Topos Theory. Academic Press, Inc., London, 1977. | MR | Zbl
[7] Sketches of an Elephant: A Topos Theory Compendium. Clarendon Press, Oxford, 2002. | Zbl
[8] Intensive and extensive quantities. Notes for the lectures given at the workshop on Categorical Methods in Geometry, Aarhus, 1983.
[9] Caracterisation des topos de faisceaux sur un site interne à un topos. PhD thesis, Univ. Louvain-la-Neuve, 1982.
[10] Fibered categories à la Jean Benabou. Unpublished notes, 2003.