Let $\omega\_1,\cdots,\omega\_n$ be $n$ elements of $\overline{\mathbb F\_q(T)}$ that are $\mathbb F\_q(T)$ linearly independant. Denote by $\Lambda$ the lattice $\Lambda=\mathbb F\_q[T]\omega\_1+\cdots+\mathbb F\_q[T]\omega\_n$. Can one estimate (with at least two significant terms) the number of elements of $\Lambda$ whose degree ($\overline{\mathbb F\_q(T)}$ is considered embeded in the completion of $\overline{\mathbb F\_q\left(\left(\frac1T\right)\right)}$) is less than $r$ ($r$ is a positive integer)?


Surely Riemann-Roch theorem (or Riemann hypothesis for curves) could help, but I do not see how.



Numbers of points in lattice
There are two possibilities. If $\omega\_1,\dots, \omega\_n$ are not $\mathbb F\_q((\frac{1}{T}))$-linearly independent, then the count is infinite for all $r$ sufficiently large. Indeed, if $\sum\_{i=1}^n a\_i \omega\_i$ is a relation, then for $f$ in $\mathbb F\_q[T]$ any polynomial, if we take the power series $fa\_1,\dots, f a\_n$ and remove all terms with negative powers of $T$ to obtain polynomials $g\_1,\dots, g\_n$ then $\sum\_{i=1}^n g\_i \omega\_i$ will equal $\sum\_{i=1}^n (g\_i -f a\_i) \omega\_i$ and thus will have degree less than the maximum degree of the $\omega\_i$. This gives infinitely many elements of $\Lambda$ with bounded degree.


Otherwise, $\omega\_1,\dots, \omega\_n$ generate a $\mathbb F\_q((\frac{1}{t}))$-submodule of $\overline{\mathbb F\_q((\frac{1}{t}))}$ of rank $n$. Consider the intersection of this submodule with the ring of integers, which is a $\mathbb F\_q[[\frac{1}{T}]]$-module, necessarily free of rank $n$, and choose a generating set $\alpha\_1,\dots, \alpha\_n$. We can write $\alpha\_i =\sum\_{j=1}^n c\_{ij} \omega\_j$ for a unique $c\_{ij} \in \mathbb F\_q((\frac{1}{T}))$. Let $C$ be the $n\times n$ matrix with entries $c\_{ij}$.


It is easy to see from Riemann-Roch that the number of elements of $\Lambda$ with degree $\leq r$ is equal to $q^{ (r+1) n + \deg \det C}$ for all $r$ sufficiently large.


Indeed, this is equal to the number of vectors $a\_1,\dots, a\_n \in \mathbb F\_q[T]^n$ such that $C^{-1} \begin{pmatrix} a\_1 \\ \dots \\ a\_n \end{pmatrix} $ is a tuple of vectors of degree $\leq r$. We construct a vector bundle $V$ on $\mathbb P^1$ by gluing $\mathcal O\_{\operatorname{Spec} \mathbb F\_q[T]}^n$ to $\mathcal O\_{\operatorname{Spec} \mathbb F\_q[[ \frac{1}{T} ]] }^n$ using the gluing data $C$ on their intersection $\operatorname{Spec} \mathbb F\_q(( \frac{1}{T} ))$. The desired count is equal to the number of sections of $H^0(\mathbb P^1, V(r) )$, which by Riemann-Roch for vector bundles is
$$ q^{n + \deg V(r)} = q^{n + nr + \deg V }= q^{n + nr + \deg \det V} =q^{ n + nr + \deg \det C}$$ as soon as $H^1(\mathbb P^1, V(r))=0$, which happens for all $r$ sufficiently large.


I am not sure what you mean by at least two significant terms.


