집합론
그는 초기에 수리논리학, 집합론, 모델 이론을 연구하였으며 이후 계산 가능성 이론에 특히 치중하였다. 1975년 캐나다 밴쿠버에서 61세의 나이로 사망했다.