Hello,


Do we know if the axiom of choice is needed for Chevalley's valuation/place extension theorem (i.e. the theorem that states that for every valued field and a field extension, one can extend the valuation to the field extension)?



Chevalley's valuation extension theorem and the axiom of choice
I think [this](https://mathoverflow.net/questions/30581/extension-of-valuation) more or less answers it?


