The "World's Simplest Axiom of Choice" Fails. M.P. Fourman; A. Scedrov — 1982 Manuscripta mathematica