%0 Journal Article %1 journals/mscs/Heckmann15 %A Heckmann, Reinhold %D 2015 %J Math. Struct. Comput. Sci. %K %N 7 %P 1607-1625 %T Spatiality of countably presentable locales (proved with the Baire category theorem). %U http://dblp.uni-trier.de/db/journals/mscs/mscs25.html#Heckmann15 %V 25

@article{journals/mscs/Heckmann15, added-at = {2023-12-13T09:45:30.000+0100}, author = {Heckmann, Reinhold}, biburl = {https://www.bibsonomy.org/bibtex/25c2eb9eecf9f3b649151adebb5666cb4/admin}, ee = {https://doi.org/10.1017/S0960129513000418}, interhash = {d16d6557c44f8dff6588b55905438335}, intrahash = {5c2eb9eecf9f3b649151adebb5666cb4}, journal = {Math. Struct. Comput. Sci.}, keywords = {}, number = 7, pages = {1607-1625}, timestamp = {2023-12-13T09:45:30.000+0100}, title = {Spatiality of countably presentable locales (proved with the Baire category theorem).}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs25.html#Heckmann15}, volume = 25, year = 2015 }