Baker-Schmidt theorem for Hausdorff dimensions in finite characteristic

In 1962 Sprindžuk proved Mahler's conjecture in both the real and complex cases (as well as for p-adic numbers and for fields of formal power series over finite fields). Baker gave a generalized result by using a modified version of Sprindžuk's method. Later, Baker and Schmidt derived the Hausdorff dimensions of sets which are defined in terms of approximation by algebraic numbers of bounded degrees by using Baker's theorem. In this article we will prove two analogue theorems in the fields of formal power series over finite fields.