[1] B. Banaschewski:
Another look at the localic Tychonoff theorem. Comm. Math. Univ. Carolinae 29 (1988), 647-656.
MR 0982782 |
Zbl 0667.54009
[2] R. Beuzer D. S. Macnab:
Modal extensions of Heyting algebras. Colloq. Math. 41 (1979), 1-12.
MR 0550622
[4] A. Joyal M. Tierney:
An extension of the Galois theory of Grothendieck. Amer. Math. Soc. Memoirs 319. American Mathematical Society 1984.
MR 0756176
[5] A. M. Pitts:
Amalgamation and interpolation in the category of Heyting algebras. J. Pure Appl. Algebra 29 (1983), 155-165.
MR 0707618 |
Zbl 0517.18004