François G. Dorais

Research in Logic and Foundations of Mathematics

A note on the Artin-Schreier Theorem

By F. G. Dorais
unpublished note

In this note, I give a direct elementary proof of the equivalence of the Artin–Schreier Theorem with the Completeness Theorem for propositional logic. This gives another proof a result of Berr, Delon and Schmid that the Artin–Schreier Theorem is equivalent to the Ultrafilter Theorem over ZF.