EUDML | A constructive proof of the Tychonoff's theorem for locales

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “A constructive proof of the Tychonoff's theorem for locales”

Fixed point theorems based on Leray-Schauder degree

Svatopluk Fučík (1967)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Homomorphism theorem for equationally partial algebras

Horst Reichel (1983)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Compactness and homogeneity of saturated structures. II.

Josef Mlček (1983)

Commentationes Mathematicae Universitatis Carolinae

Similarity: