Define asymptotic as a class of sequences {$ x_i$},$_{i\in\mathbb N}$ modulo equivalence {$x_i$}={$y_i$} if $\lim_{i\to\infty} (x_i/y_i)=c\in\mathbb R,c\ne 0$.
More, we define $X= \{x_i\} \lt Y= \{ y_i \}$ if $\lim_{i\to\infty} (x_i/y_i)=0$.
We can interpret $x_i$ as $f(1/i)$ and say that these asymptotics are precisely aymptotics of functions at 0.
There is a classic object - Puiseux series $\{\sum\limits_{\alpha\in I}a_\alpha t^{\alpha}\}$ (where $I$ is well-ordered set).
Asymptotics and Puiseux series look quite similar, isn't it?
My question is a bit vague.
Suppose one has a finite set of Puiseux series $X_1\leq X_2\leq\dots X_n$ , linear dependencies between them(so, one can build matroids etc). One proves something about this set - more or less using only valuation map $val(\sum\limits_{\alpha\in I}) = -\min\limits_{\alpha\in I}\alpha$, which is just "order" for an asymptotics.
How to argue that all these arguments which work for Puiseux series work for asymptotics as well?
In fact one can rewrite all proofs but the problem is that it is not clear what is "order" of an asymptotic (and order of a Puiseux series is just a real number).
