1. Blass, A.: Complexity of winning strategies. Discret. Math. 3(4), 295–300 (1972)
2. Einheuser, I.: Counterconventional conditionals. Philos. Stud. 127, 459–482 (2006)
3. Feferman, S.: Systems of predicative analysis. J. Symb. Log. 29, 1–30 (1964)
4. Feferman, S.: A more perspicuous formal system for predicativity. In: Lorenz, K. (ed.) Konstruktionen versus Positionen, vol. I, pp. 69–93. Walter de Gruyter, Berlin (1979)
5. Feferman, S.: Infinity in mathematics: is Cantor necessary? In: Toraldo di Francia, G. (ed.) L’infinito nella scienzia, pp. 151–209. Istituto della Enciclopedia Italiana, Rome (1987). Reprinted in [9]