L. Rosenblatt, «Dependencia e indeterminación en la lógica de segundo orden», cdf, n.º 57, pp. 31-50, 1.