All Questions

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 ...