A constructive proof of the Tychonoff's theorem for locales
Igor Kříž (1985)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Igor Kříž (1985)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Svatopluk Fučík (1967)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Zdeněk Hedrlín, Petr Vopěnka (1966)
Commentationes Mathematicae Universitatis Carolinae
Similarity: