Semiring of Sets: Examples
Roland Coghetto (2014)
Formalized Mathematics
Similarity:
This article proposes the formalization of some examples of semiring of sets proposed by Goguadze [8] and Schmets [13].
Roland Coghetto (2014)
Formalized Mathematics
Similarity:
This article proposes the formalization of some examples of semiring of sets proposed by Goguadze [8] and Schmets [13].
Aleksander V. Arhangel'skii (1995)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Relative versions of many important theorems on cardinal invariants of topological spaces are formulated and proved on the basis of a general technical result, which provides an algorithm for such proofs. New relative cardinal invariants are defined, and open problems are discussed.
J. Barnett (1992)
Fundamenta Mathematicae
Similarity:
Examples exist of smooth maps on the boundary of a smooth manifold M which allow continuous extensions over M without fixed points but no such smooth extensions. Such maps are studied here in more detail. They have a minimal fixed point set when all transversally fixed maps in their homotopy class are considered. Therefore we introduce a Nielsen fixed point theory for transversally fixed maps on smooth manifolds without or with boundary, and use it to calculate the minimum number of...
Tomáš Kaiser (1996)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We present a direct constructive proof of full normality for a class of spaces (locales) that includes, among others, all metrizable ones.
Barr, Michael, Kennison, John F., Raphael, R. (2009)
Theory and Applications of Categories [electronic only]
Similarity: