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