¿Un problema de ajedrez en "El infinito superior" de Kanamori?

Question

Justo después del Corolario 21.17 (en la p289) de Kanamori El infinito superior En el artículo "La vida en el mundo", esboza la dirección en la que quiere llevar su discusión sobre los ultrapoderes iterados. Sin embargo, inmediatamente después presenta un problema de ajedrez. El pasaje dice lo siguiente:

Habiendo desarrollado el análogo de la $0^\sharp$ teoría en §9, ahora procedemos a derivar más información con ultrapoderes iterados que agudizan el enfoque. Pero primero, un respiro de los rigores: En lugar de otra receta, ofrecemos el siguiente problema de ajedrez (M. Henneberger, primer y segundo premio, "Revista de Sah" 1928):

Las blancas: Rey en b1, torres en b7 y c7, y alfil en b5.

Negro: Rey en a8, Torre en a3, y Peón en f2.

Blanco para jugar y ganar. Envíe las soluciones completas al autor para obtener un pequeño premio.

Mi pregunta es simplemente la siguiente; ¿se trata sólo de un problema de ajedrez, o hay algún chiste sobre los grandes cardenales que me estoy perdiendo?

Answer 1

Estoy casi seguro de que no es una broma. He encontrado otra referencia al problema aquí y esto también proporciona una solución (creo). No pude ver nada que me indicara alguna conexión con $0^\sharp$ pero quizás mis poderes de imaginación son demasiado limitados.

Answer 2

Hay una reseña del libro aquí y menciona el problema, y no da ninguna indicación de que esté en absoluto relacionado con las matemáticas. Creo que es seguro asumir que no se está perdiendo una broma.