We prove that on the basis of ZF the ultrafilter theorem and the theorem of Artin-Schreier are equivalent. The latter says that every formally real field admits a total order.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.