- Preview Available
- Scholarly Journal
Spatiality of countably presentable locales (proved with the Baire category theorem)
HECKMANN, REINHOLD.
Mathematical Structures in Computer Science, suppl. Computing with Infinite Data: Topological and Logical: MSCS; Cambridge Vol. 25, Iss. 7, (Oct 2015): 1607-1625.
DOI:10.1017/S0960129513000418
This is a limited preview of the full PDF
Try and log in through your library or institution to see if they have access.