@article{CTGDC_1996__37_1_73_0, author = {Johnson, P. B.}, title = {Coherent spaces constructively}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, pages = {73--80}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {37}, number = {1}, year = {1996}, mrnumber = {1383449}, zbl = {0847.06004}, language = {en}, url = {http://archive.numdam.org/item/CTGDC_1996__37_1_73_0/} }
TY - JOUR AU - Johnson, P. B. TI - Coherent spaces constructively JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 1996 SP - 73 EP - 80 VL - 37 IS - 1 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://archive.numdam.org/item/CTGDC_1996__37_1_73_0/ LA - en ID - CTGDC_1996__37_1_73_0 ER -
%0 Journal Article %A Johnson, P. B. %T Coherent spaces constructively %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 1996 %P 73-80 %V 37 %N 1 %I Dunod éditeur, publié avec le concours du CNRS %U http://archive.numdam.org/item/CTGDC_1996__37_1_73_0/ %G en %F CTGDC_1996__37_1_73_0
Johnson, P. B. Coherent spaces constructively. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 37 (1996) no. 1, pp. 73-80. http://archive.numdam.org/item/CTGDC_1996__37_1_73_0/
[1] Domain Theory. Handbook of Logic in Computer Science I. (Oxford Science Publications) 1994. | MR
and[2] Metamathematical theorems equivalent to the prime ideal theorem for Boolean algebras. Bull. Amer. Math. Soc. 60 (1954) 387-388.
[3] Epimorphisms and dominions, Proc. Confer. Categorical Algebra (La Jolla, 1965). Springer, Berlin (1966) 232-246. | MR | Zbl
[4] Functors of sub-descent type and dominion theory. (soon to appear in Proc. AMS). | MR | Zbl
[5] Stone Spaces. Cambridge Studies in Advanced Math. 3 (Cambridge University Press) 1982. | MR | Zbl
[6] Topos Theory. London Mathematical Society Monographs 10 (Academic Press) 1977. | MR | Zbl
[7] Applied Functorial Semantics, II. Spring. Lec. Notes Math. 80 (1969) 53-74. | MR | Zbl