[1] N. BOURBAKI:
Sur le theoreme de Zorn. Archiv d. Math. 2 (1949), 434-437.
MR 0047739
[2] P. T. JOHNSTONE:
Tychonoff's Theorem without the Axiom of Choice. Fund. Math. 113 (1981), 21-35.
MR 0641111 |
Zbl 0503.54006
[4] I. KŘÍŽ:
A constructive proof of the Tychonoff Theorem for locales. Comment. Math. Univ. Carolinae 26 (1985), 619-630.
MR 0817832
[5] J. J. VERMEULEN: Doctoral dissertation, University of Sussex 1987.