A chess problem in Kanamori's "The Higher Infinite"?

Question

Just after Corollary 21.17 (on p289) of Kanamori's The Higher Infinite, he outlines the direction in which he wants to take his discussion of iterated ultrapowers. However, immediately after he presents a chess problem. The passage reads as follows:

Having developed the analogue of the $0^\sharp$ theory in §9, we now proceed to derive more information with iterated ultrapowers that sharpens the focus. But first, a respite from the rigors: Instead of yet another recipe, we offer the following chess problem (M. Henneberger, first and second prize, “Revista de Sah” 1928):

White: King on b1, Rooks on b7 and c7, and Bishop on b5.

Black: King on a8, Rook on a3, and Pawn on f2.

White to play and win. Send complete solutions to the author for a small prize.

My question is simply the following; is this just a chess problem, or is there some joke about large cardinals that I am missing?

Answer 1

There's a review of the book here, and it mentions the problem, and gives no indication that it's at all related to the mathematics. I think it's safe to assume you're not missing a joke.

Answer 2

I am almost certain it is not a joke. I have found another reference to the problem here, and this also provides a solution (I think). I couldn't see anything that would indicate to me any connection with $0^\sharp$, but perhaps my powers of imagination are too limited.