TY - RPRT TI - The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach AU - Chris Heunen AU - Nicolaas P. Landsman AU - Bas Spitters AU - Sander Wolters PY - 2010 DO - 10.1017/s1446788711001157 UR - https://arxiv.org/abs/1010.2050 ID - 1010.2050 ER -