Freyd's models for the independence of the axiom of choice - Blass, Andreas, 1947- (Memoirs of the American Mathematical Society,, 1989)