Question: Is the existence of a non-principal ultra-filter on $\omega$ a weaker assumption than the existence of a well-ordering of $\mathbb{R}$?