Carl G. Jockusch Jr. Richard Laver J. Donald Monk Jan Mycielski Jon Pearce Annual Meeting of the Association for Symbolic Logic: Denver, 1983. 674-682 1984 49 J. Symb. Log. 2 db/journals/jsyml/jsyml49.html#JockuschLMMP84