Title: Freyd's models for the independence of the axiom of choice
Subjects: Axiom of choice, Forcing (Model theory), Toposes