Carl G. Jockusch Jr. Richard Laver J. Donald Monk Jan Mycielski