Alan H. Mekler Jouko A. Väänänen Trees and Pi<sup>1</sup><sub>1</sub>-Subsets of <sup>omega<sub>1</sub></sup>\omega<sub>1</sub>. 1052-1070 1993 58 J. Symb. Log. 3 db/journals/jsyml/jsyml58.html#MeklerV93 http://projecteuclid.org/euclid.jsl/1183744313