L. Rosenblatt, “Dependencia e indeterminación en la lógica de segundo orden”, cdf, no. 57, pp. 31-50, 1.