<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></abstract>

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.

Small Inductive Dimension of Topological Spaces

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

Formalized Mathematics

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

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

Small Inductive Dimension of Topological Spaces

Published Online: Jul 08, 2010

Page range: 207 - 212

DOI: https://doi.org/10.2478/v10037-009-0025-7

This content is open access.