Some new concepts of dimension and their generalization
Duda, R.
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Duda, R.
Similarity:
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.
A. Pears (1971)
Fundamenta Mathematicae
Similarity:
P. Borst, Jan Dijkstra (1985)
Fundamenta Mathematicae
Similarity:
Karol Pąk (2009)
Formalized Mathematics
Similarity:
In this paper we present basic properties of n-dimensional topological spaces according to the book [10]. In the article the formalization of Section 1.5 is completed.
David W. Henderson (1968)
Fundamenta Mathematicae
Similarity:
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.