A constructive proof of the Tychonoff's theorem for locales
Kříž, Igor
Commentationes Mathematicae Universitatis Carolinae, Tome 026 (1985), p. 619-630 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1985-01-01
Classification:  03E25,  03G30,  54B10,  54D30,  54F05,  54H99 
@article{106398,
     author = {Igor K\v r\'\i \v z},
     title = {A constructive proof of the Tychonoff's theorem for locales},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {026},
     year = {1985},
     pages = {619-630},
     zbl = {0661.54027},
     mrnumber = {817832},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106398}
}

Kříž, Igor. A constructive proof of the Tychonoff's theorem for locales. Commentationes Mathematicae Universitatis Carolinae, Tome 026 (1985) pp. 619-630. http://gdmltest.u-ga.fr/item/106398/

J. Bénabou Treillis locaux et paratopologies, Séminaire Ehresmann 1 (1957-58), exposé 2. (1957) | MR 0121774

B. Banaschewski C. J. Mulvey Stone-Čech compactification of locales, I, Houston J. Math. 6 (1980), 301-312. (1980) | MR 0597771

C. H. Dowker D. Papert Quotient frames and subspaces, Proc. Lond. Math. Soc. 16 (1966), 275-296. (1966) | MR 0202648

C. H. Dowker D. Papert On Urysohn's lemma, General Topology and its relations to Modern Analysis and Algebra II, Prague 1966, 111-114. (1966) | MR 0238744

C. H. Dowker D. Strauss Sums in the category of frames, Houston J. Math. 3 (1976), 17-32. (1976) | MR 0442900

J. R. Isbell Atomless parts of spaces, Math. Scand. 31 (1972), 5-32. (1972) | MR 0358725 | Zbl 0246.54028

P. T. Johnstone The point of pointless topology, Bull. Am. Math. Soc. 8 (1983), 41-43. (1983) | MR 0682820 | Zbl 0499.54002

P. T. Johnstone Tychonoff's theorem without the axiom of ohoice, Fund. Math. 113 (1981), 21-35. (1981) | MR 0641111

A. Joyal M. Tierney An extension of the Galois Theory of Grothendieck, preprint. | MR 0756176

J. L. Kelley The Tychonoff product theorem implies the axiom of ohoice, Fund. Math. 37 (1950), 75-76. (1950) | MR 0039982

H. Simmons A framework for topology, Proc. Wroclaw Logic Conference 1977, North-Holland, 1978, 239-251. (1977) | MR 0519819

A. N. Tychonoff Über die topologische Erweiterung von Räumen, Math. Ann. 102 (1930), 544-561. (1930) | MR 1512595