Shoenfield obtained his PhD in 1953 with Raymond Louis Wilder at the University of Michigan (Models of formal systems).
Shoenfield promovierte 1953 bei Raymond Louis Wilder an der University of Michigan (Models of formal systems).