Consequences of the axiom of choice - Howard, Paul (Mathematical surveys and monographs, 1998)