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