<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this paper we present basic properties of <italic>n</italic>-dimensional topological spaces according to the book [10]. In the article the formalization of Section 1.5 is completed.</p></abstract>

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.

Small Inductive Dimension of Topological Spaces. Part II

Institute of Computer Science, University of Białystok, Poland

Formalized Mathematics

{"article-title":"Small Inductive Dimension of Topological Spaces. Part II"}

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

Small Inductive Dimension of Topological Spaces. Part II

Published Online: Jul 08, 2010

Page range: 219 - 222

DOI: https://doi.org/10.2478/v10037-009-0027-5

This content is open access.