Maietti, M. E., & Sambin, G. (2013). Why topology in the minimalist foundation must be pointfree. Logic and Logical Philosophy, 22(2), 167–199. https://doi.org/10.12775/LLP.2013.010