Vol. 612. Kleinberg, Eugene M. 
Infinitary combinatorics and the axiom of determinateness 
QA164 K54