This is a short paper describing how a herbrandized functional interpretation can give a new treatment of some issues in classical second-order arithmetic. It is perhaps worthy of note that, in our interpretation, second-order variables are interpreted by finite sets of natural numbers.

中文翻译：

---

她的品牌经典二阶算术中的弱König引理

这是一篇简短的文章，描述了以人为烙印的函数解释如何可以对经典二阶算术中的某些问题进行新的处理。可能值得注意的是，在我们的解释中，二阶变量由有限的自然数集解释。