Coherent spaces constructively
Johnson, P. B.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 37 (1996), p. 73-80 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1996-01-01
@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},
     volume = {37},
     year = {1996},
     pages = {73-80},
     mrnumber = {1383449},
     zbl = {0847.06004},
     language = {en},
     url = {http://dml.mathdoc.fr/item/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) pp. 73-80. http://gdmltest.u-ga.fr/item/CTGDC_1996__37_1_73_0/

[1] S. Abramsky and A. Jung. Domain Theory. Handbook of Logic in Computer Science I. (Oxford Science Publications) 1994. | MR 1365749

[2] P. Henkin. Metamathematical theorems equivalent to the prime ideal theorem for Boolean algebras. Bull. Amer. Math. Soc. 60 (1954) 387-388.

[3] J.R. I. Epimorphisms and dominions, Proc. Confer. Categorical Algebra (La Jolla, 1965). Springer, Berlin (1966) 232-246. | MR 209202 | Zbl 0194.01601

[4] P.B. Johnson. Functors of sub-descent type and dominion theory. (soon to appear in Proc. AMS). | MR 1201297 | Zbl 0806.18005

[5] P.T. Johnstone. Stone Spaces. Cambridge Studies in Advanced Math. 3 (Cambridge University Press) 1982. | MR 698074 | Zbl 0499.54001

[6] P.T. Johnstone. Topos Theory. London Mathematical Society Monographs 10 (Academic Press) 1977. | MR 470019 | Zbl 0368.18001

[7] F.E.J. Linton. Applied Functorial Semantics, II. Spring. Lec. Notes Math. 80 (1969) 53-74. | MR 249485 | Zbl 0181.02901