Freyd' model for the independence of the axiom of choice - Blass Andreas; Scedrov Andre (Providence AMS, 1989)
Keywords: Axiom of choice; Mathematics