Daniel Isaacson: Arithmetical truth and hidden higher-order concepts. Logic Colloquium 1985: 147-170