Scott paseó el manuscrito incompleto entre sus colegas, intruduciendo un número de importantes técnicas en la semántica de teoría de models.