On mappings whose sum is monotone

Proposition 1 of this article points at a gap in the proof of Kuhlmann’s characterization of algebraically maximal valued fields [2]. The author [1] showed how to fill this gap. His arguments involved tools of mathematical logic and infinite combinatorics. Proposition 2 of this article provides us with a simple proof of the key fact of Kuhlmann’s characterization.