Hans Jürgen Prömel

, 2002, 'Large numbers, Knuth's arrow notation, and Ramsey theory', Synthese 133 (1-2), 87-105.