planevaluations which we are interested in, planevaluations at infinity, and describes the value semigroup of these valuations according their type. We normalize these semigroups to adapt them to the concept of δ-sequence for our class of valuations, concept that is provided in Section 4. In this section, we prove our main result, Theorem 4.1, that we call Abhyankar-MohTheorem for planevaluations at infinity, whose statement goes parallel with …
We introduce the class of plane valuations at infinity and prove an analogue to the Abhyankar-Moh (semigroup) Theorem for it.