Gerald Sacks
From Wikipedia, the free encyclopedia
Gerald Sacks is a logician who holds a joint appointment at Harvard University and the Massachusetts Institute of Technology. His most important contributions have been in recursion theory. Named after him is Sacks forcing, a forcing notion based on perfect sets.
Sacks earned his Ph.D. in 1961 from Cornell University under the direction of J. Barkley Rosser, with a dissertation entitled On Suborderings of Degrees of Recursive Insolvability. Among his notable students are Harvey Friedman, Leo Harrington, Richard Shore, and Theodore Slaman.