Base dimension-like function of the type Dind and universality (Q2217239)

In Definition 1.2, the authors recover the notion of Dind (we won't repeat it here), which is a dimension function that was introduced by A. Arhangel'skii. They then proceed to model their notion of a ``base dimension-like function'' along the lines of Arhangel'skii's; we present their new definition now. {Definition 2.1.} Given a pair $(B,X)$ consisting of a space $X$ and a base $B$ for its topology, the dimension b-Dind is defined inductively as follows: \begin{itemize} \item[1.] b-Dind$(B,X)=-1$ if and only if $B=\{\emptyset\}$ and $X=\emptyset$. \item[2.] if $X\neq\emptyset$ and $n$ is a non-negative integer, then b-Dind$(B,X)\leq n$ if and only if for any finite $B$-cover $\mathcal{C}$ of $X$, there exists a finite pairwise disjoint family $\mathcal{V}$ of open subsets of $X$ such that $\mathcal{V}$ refines $\mathcal{C}$, and b-Dind$(\{(X\setminus\bigcup\mathcal{V})\cap U\mid U\in B\},X\setminus\bigcup\mathcal{V}\})<n$. If no such $n$ exists, then we write b-Dind$(B,X)=\infty$. \end{itemize} The main result of the paper is: {Corollary 2.4.} Let $\tau$ be an infinite cardinal. For every $n\in\{-1\}\cup\omega$, there exists a universal element $(B,X)$ among the pairs $(C,Y)$ where $Y$ is a $\mathrm{T}_0$-space, $\mathrm{wt}Y\leq\tau$, $C$ is a base for $Y$, and b-Dind$(C,Y)\leq n$. To say that $(B,X)$ is \textit{universal} in this setting means that for each $(C,Y)$ as above, there exists an embedding $h:Y\to X$ such that $C=\{h^{-1}(U)\mid U\in B\}$.