Spatiality of countably presentable locales (proved with the Baire category theorem)

Reinhold Heckmann. Spatiality of countably presentable locales (proved with the Baire category theorem). Mathematical Structures in Computer Science, 25(7):1607-1625, 2015. [doi]

Abstract

Abstract is missing.