Choice Implies Excluded Middle

N. Goodman, J. Myhill. Choice Implies Excluded Middle. Math. Log. Q., 24(25-30):461, 1978. [doi]

Abstract

Abstract is missing.