Topological characterizations of ordered groups with quasi-divisor theory

summary:For an order embedding $G\overset{h}{\rightarrow }{\rightarrow }\Gamma $ of a partly ordered group $G$ into an $l$-group $\Gamma $ a topology $\mathcal T_{\widehat{W}}$ is introduced on $\Gamma $ which is defined by a family of valuations $W$ on $G$. Some density properties of sets $h(G)$, $h(X_t)$ and $(h(X_t)\setminus \lbrace h(g_1),\dots ,h(g_n)\rbrace )$ ($X_t$ being $t$-ideals in $G$) in the topological space $(\Gamma ,\mathcal T_{\widehat{W}})$ are then investigated, each of them being equivalent to the statement that $h$ is a strong theory of quasi-divisors