| Title:
             | 
A constructive proof of the Tychonoff's theorem for locales (English) | 
| Author:
             | 
Kříž, Igor | 
| Language:
             | 
English | 
| Journal:
             | 
Commentationes Mathematicae Universitatis Carolinae | 
| ISSN:
             | 
0010-2628 (print) | 
| ISSN:
             | 
1213-7243 (online) | 
| Volume:
             | 
26 | 
| Issue:
             | 
3 | 
| Year:
             | 
1985 | 
| Pages:
             | 
619-630 | 
| . | 
| Category:
             | 
math | 
| . | 
| MSC:
             | 
03E25 | 
| MSC:
             | 
03G30 | 
| MSC:
             | 
54B10 | 
| MSC:
             | 
54D30 | 
| MSC:
             | 
54F05 | 
| MSC:
             | 
54H99 | 
| idZBL:
             | 
Zbl 0661.54027 | 
| idMR:
             | 
MR817832 | 
| . | 
| Date available:
             | 
2008-06-05T21:22:35Z | 
| Last updated:
             | 
2012-04-28 | 
| Stable URL:
             | 
http://hdl.handle.net/10338.dmlcz/106398 | 
| . | 
| Reference:
             | 
[1] J. BÉNABOU: Treillis locaux et paratopologies.Séminaire Ehresmann 1 (1957-58), exposé 2. MR 0121774 | 
| Reference:
             | 
[2] B. BANASCHEWSKI C. J. MULVEY: Stone-Čech compactification of locales, I.Houston J. Math. 6 (1980), 301-312. MR 0597771 | 
| Reference:
             | 
[3] C. H. DOWKER D. PAPERT: Quotient frames and subspaces.Proc. Lond. Math. Soc. 16 (1966), 275-296. MR 0202648 | 
| Reference:
             | 
[4] C. H. DOWKER D. PAPERT: On Urysohn's lemma.General Topology and its relations to Modern Analysis and Algebra II, Prague 1966, 111-114. MR 0238744 | 
| Reference:
             | 
[5] C. H. DOWKER D. STRAUSS: Sums in the category of frames.Houston J. Math. 3 (1976), 17-32. MR 0442900 | 
| Reference:
             | 
[6] J. R. ISBELL: Atomless parts of spaces.Math. Scand. 31 (1972), 5-32. Zbl 0246.54028, MR 0358725 | 
| Reference:
             | 
[7] P. T. JOHNSTONE: The point of pointless topology.Bull. Am. Math. Soc. 8 (1983), 41-43. Zbl 0499.54002, MR 0682820 | 
| Reference:
             | 
[8] P. T. JOHNSTONE: Tychonoff's theorem without the axiom of ohoice.Fund. Math. 113 (1981), 21-35. MR 0641111 | 
| Reference:
             | 
[9] A. JOYAL M. TIERNEY: An extension of the Galois Theory of Grothendieck.preprint. MR 0756176 | 
| Reference:
             | 
[10] J. L. KELLEY: The Tychonoff product theorem implies the axiom of ohoice.Fund. Math. 37 (1950), 75-76. MR 0039982 | 
| Reference:
             | 
[11] H. SIMMONS: A framework for topology.Proc. Wroclaw Logic Conference 1977, North-Holland,  1978, 239-251. MR 0519819 | 
| Reference:
             | 
[12] A. N. TYCHONOFF: Über die topologische Erweiterung von Räumen.Math. Ann. 102 (1930), 544-561. MR 1512595 | 
| . |