Hi,

I've been wondering about the following :

Is it possible, without the axiom of choice, to have two inequivalent complete norms on a vector space?

All the examples of inequivalent complete norms I've seen rely on the existence of Hamel bases...

This is most likely well-known, but I'd be glad if someone could provide a good reference.

Thank you, Malik