Displaying similar documents to “Countably metacompact spaces in the constructible universe”

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].

A generic theorem in the theory of cardinal invariants of topological spaces

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.

Weak variants of Martin's Axiom

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...

A sufficient condition of full normality

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.