Is there a good generalisation of Laurent series for several complex variables?


I am interested in generalised power series that have some terms with negative powers, but not too many. In single variable complex analysis, "not too many" means that the (Laurent) series has only a finite number of terms with a negative power of the variable. In several variables, I want that at least something like $\frac1{1- z/w} = \sum\_{n\geq 0} z^n w^{-n}$ counts as generalized Laurent series: While the exponent of $w$ may become arbitrarily small, it is at least bounded in terms of the exponent of $z$.


Has someone thought about this kind of series?



Laurent series in several complex variables
The easiest way to deal with series like $\sum\_{n=0}^\infty z^n w^{-n}$ is with iterated Laurent series. This series is an element of the ring $\mathbb{Z}((w))[[z]]$: power series in $z$ whose coefficients are Laurent series in $w$. (In this case Laurent polynomials in $w$ would suffice.)


A much more general, though more complicated, approach is through [Hahn series](https://en.wikipedia.org/wiki/Hahn_series) (also called Mal'cev–Neumann series)
in which we have an indeterminate with exponents from an ordered group, with the condition that the exponents corresponding to nonzero terms are well ordered. (The well-ordered condition implies that multiplication of these series is well-defined.) To represent $\sum\_{n=0}^\infty z^n w^{-n}$ in this way, we take as our exponent group the additive group $\mathbb{Z}\times\mathbb{Z}$ ordered lexicographically. With $x$ as the indeterminate, the series under consideration are of the form $\sum\_{(i,j)\in \mathbb{Z}\times\mathbb{Z}} x^{(i,j)}$. We multiply monomials by $x^{(i\_1,j\_1)} x^{(i\_2,j\_2)}=x^{(i\_1+i\_2, j\_1+j\_2)}$. We may identify $x^{(i,j)}$ with $z^iw^j$. Then
\begin{equation\*}
\sum\_{n=0}^\infty z^n w^{-n}=\sum\_{n=0}^\infty x^{(n,-n)}
\end{equation\*}
is allowable since the exponent set $\{(0,0), (1,-1), (2,-2),\dots\}$ contains no infinite decreasing sequence. On the other hand
\begin{equation\*}
\sum\_{n=0}^\infty z^{-n} w^{n}=\sum\_{n=0}^\infty x^{(-n,n)}
\end{equation\*}
is not allowed since the exponent set contains the infinite decreasing sequence $(0,0)>(-1,1)>(-2,2)>\dots$.


