caa a22 4500 477103707 CHVBK 20180405111548.0 cr unu---uuuuu 170330e19961201xx s 000 0 eng 10.1007/BF02925366 doi (NATIONALLICENCE)springer-10.1007/BF02925366 Moerdijk Ieke Universiteit Utrecht, P.O. Box 80.010, 3508 TA, Utrecht, The Netherlands aut Classifying spaces for toposes with enough points [Elektronische Daten] [Ieke Moerdijk] This paper provides an introduction to and a survey of recent work with C. Butz. The central construction is that of a "classifying space” for any Grothendieck topos with enough points. It is proved that this space has the same cohomology and homotopy groups as the topos. The construction also has applications in mathematical logic, where it yields new topological completeness theorems. Birkhäuser-Verlag, 1998 Rendiconti del Seminario Matematico e Fisico di Milano Birkhäuser-Verlag 66/1(1996-12-01), 377-389 0370-7377 66:1<377 1996 66 32 https://doi.org/10.1007/BF02925366 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF02925366 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Moerdijk Ieke Universiteit Utrecht, P.O. Box 80.010, 3508 TA, Utrecht, The Netherlands aut NATIONALLICENCE 773 0- Rendiconti del Seminario Matematico e Fisico di Milano Birkhäuser-Verlag 66/1(1996-12-01), 377-389 0370-7377 66:1<377 1996 66 32 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer