Finiteness results concerning algebraic power series (Q1996063)

Let \(X\) be an indeterminate over a field \(K\). To understand the content of the paper, let's recall some definitions. A formal power series \(f\in K[[X]]\) is said algebraic over \(K\) if it is algebraic over the polynomial ring \(K[X]\). The set of such formal power series is a ring having many interesting properties. A constructible set is a subset of an affine space \(K^n\) which is described by polynomial equalities and inequalities. The goal of this paper is to find a filtration of the ring of the algebraic formal power series over \(K\) by constructible sets. For positive integers \(d\) and \(h\), let \(\mathcal{A}(d,h)\) be the set of algebraic formal power series whose minimal polynomials \(P(X,T)\) over \(K[X]\) satisfy \(\mathrm{deg}_X(P)\leq h\) and \(\mathrm{deg}_T(P)\leq d\). The authors show that \(\mathcal{A}(d,h)\) work.