Key polynomials, separate and immediate valuations, and simple extensions of valued fields

Abstract

We give a first-order definition of key polynomials, we show the links with previous definitions, that it is relevant to study key degrees, and to use a kind of valuations that we call partially multiplicative. We also prove or reprove several properties.