Freyd's models for the independence of the axiom of choice - Blass, Andreas; Ščedrov, Andrej (Memoirs of the American Mathematical Society, 1989)