For his result on CH he won the Fields Medal in 1966 and the National Medal of Science in 1967; the 1966 Fields Medal continues to be the only Fields Medal to have been awarded for a work in mathematical logic.
He won the Fields Medal in 1966 in 1967. This was for his result on CH. He won the National Medal of Science in 1967. This was for his result on CH. The 1966 Fields Medal continues to be the only Fields Medal to have been awarded for a work in mathematical logic.