A point-free characterisation of Bishop locally compact metric spaces. Kawai, T. Journal of Logic & Analysis, 9(c2):1–44, 2017. Paper doi bibtex @ARTICLE{Kaw17,
author = {Kawai, Tatsuji},
title = {A point-free characterisation of {B}ishop locally compact metric
spaces},
journal = {Journal of Logic \& Analysis},
year = {2017},
volume = {9},
pages = {1--44},
number = {c2},
doi = {10.4115/jla.2017.9.c2},
file = {Kaw17.pdf:Kaw17.pdf:PDF},
issn = {17599008},
keywords = {bib, con},
url = {http://logicandanalysis.org/index.php/jla/article/view/239/120}
}
Downloads: 0
{"_id":"4G8DcseBbMFZJL4Xr","bibbaseid":"kawai-apointfreecharacterisationofbishoplocallycompactmetricspaces-2017","authorIDs":[],"author_short":["Kawai, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kawai"],"firstnames":["Tatsuji"],"suffixes":[]}],"title":"A point-free characterisation of Bishop locally compact metric spaces","journal":"Journal of Logic & Analysis","year":"2017","volume":"9","pages":"1–44","number":"c2","doi":"10.4115/jla.2017.9.c2","file":"Kaw17.pdf:Kaw17.pdf:PDF","issn":"17599008","keywords":"bib, con","url":"http://logicandanalysis.org/index.php/jla/article/view/239/120","bibtex":"@ARTICLE{Kaw17,\r\n author = {Kawai, Tatsuji},\r\n title = {A point-free characterisation of {B}ishop locally compact metric\r\n\tspaces},\r\n journal = {Journal of Logic \\& Analysis},\r\n year = {2017},\r\n volume = {9},\r\n pages = {1--44},\r\n number = {c2},\r\n doi = {10.4115/jla.2017.9.c2},\r\n file = {Kaw17.pdf:Kaw17.pdf:PDF},\r\n issn = {17599008},\r\n keywords = {bib, con},\r\n url = {http://logicandanalysis.org/index.php/jla/article/view/239/120}\r\n}\r\n\r\n","author_short":["Kawai, T."],"key":"Kaw17","id":"Kaw17","bibbaseid":"kawai-apointfreecharacterisationofbishoplocallycompactmetricspaces-2017","role":"author","urls":{"Paper":"http://logicandanalysis.org/index.php/jla/article/view/239/120"},"keyword":["bib","con"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.786Z","downloads":0,"keywords":["bib","con"],"search_terms":["point","free","characterisation","bishop","locally","compact","metric","spaces","kawai"],"title":"A point-free characterisation of Bishop locally compact metric spaces","year":2017,"dataSources":["t7rKiAbxugj4Agz8M"]}