There is no upper bound of small transfinite compactness degree in metrizable spaces (Q876523)

In defining small inductive dimension, ind, for a space \(X\) [\textit{R. Engelking}, Theory of Dimensions Finite and Infinite. Sigma Series in Pure Mathematics. 10. (Lemgo): Heldermann. (1995; Zbl 0872.54002)] one begins by proclaiming that ind\((X)\leq -1\) if and only if \(X=\emptyset\). Then it is stated that ind\((X)\leq 0\) if and only if each point of \(X\) has arbitrarily small neighborhoods \(V\) with empty boundary, i.e., with ind(Bd(\(V))\leq -1\). This process is continued indefinitely, in such a manner that for all \(-1\leq n<\infty\), ind\((X)\leq n\) is defined. For small inductive dimension modulo a class \(\mathcal P\) of spaces, hereditary with respect to closed subspaces, one can define small inductive dimension modulo \(\mathcal P\), \(\mathcal P\)-ind, in a parallel manner. First, \(\mathcal P\)-ind\((X)\leq -1\) if and only if \(X\in\mathcal P\). Then \(\mathcal P\)-ind\((X)\leq 0\) if and only if each point of \(X\) has arbitrarily small neighborhoods \(V\) with \(\mathcal P\)-ind\((X)\leq -1\). One continues this process as with ind and ends up with a well-defined notion of \(\mathcal P\)-ind. By a standard technique, ind is extended transfinitely to obtain small transfinite inductive dimension trind. Similarly, one can extend \(\mathcal P\)-ind transfinitely to become \(\mathcal P\)-trind (see Definition 1.1 in this paper). Spaces considered will be metrizable. In case \(\mathcal P\) is the class of compact spaces, then \(\mathcal P\)-trind is written trcmp and is called the small transfinite compactness degree. Similarly \(\mathcal P\)-ind=cmp, is the small compactness degree. If \(\mathcal P\) is the class of completely metrizable spaces, then \(\mathcal P\)-trind\((X)\) is denoted tricd\((X)\) and is called the small transfinite completeness degree. These notions are used, along with one of transfinite completeness deficiency, to prove the main result of the paper. \textbf{Theorem 1.1} There is no upper bound for \(\text{trcmp}\) in the class of metrizable spaces, i.e., for each ordinal number \(\alpha\), there exists a metrizable space \(X\) such that \(\text{trcmp}(X)=\alpha\). \noindent Other results, Propositions 3.1 and 3.2, deal with the equality dim\(Y=\)cmp\((X\times Y)\) for certain \(X\), depending on whether or not \(Y\) is compact. In Proposition 3.1, there is an additional equality with \(\mathcal S\)-ind\((X\times Y)\); the reader will note that there is a missprint in this location.