@misc{indiciae4f1467c35a11,
  title = {The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach},
  author = {Chris Heunen and Nicolaas P. Landsman and Bas Spitters and Sander Wolters},
  year = {2010},
  doi = {10.1017/s1446788711001157},
  url = {https://arxiv.org/abs/1010.2050},
  note = {Source identifier: 1010.2050}
}