Displaying similar documents to “Small Inductive Dimension of Topological Spaces. Part II”

Small Inductive Dimension of Topological Spaces

Karol Pąk (2009)

Formalized Mathematics

Similarity:

We present the concept and basic properties of the Menger-Urysohn small inductive dimension of topological spaces according to the books [7]. Namely, the paper includes the formalization of main theorems from Sections 1.1 and 1.2.

The dimension of remainders of rim-compact spaces

J. Aarts, E. Coplakova (1993)

Fundamenta Mathematicae

Similarity:

Answering a question of Isbell we show that there exists a rim-compact space X such that every compactification Y of X has dim(Y)≥ 1.