Fred Galvin Karel Prikry Borel Sets and Ramsey's Theorem. 193-198 1973 38 J. Symb. Log. 2 db/journals/jsyml/jsyml38.html#GalvinP73