一个非标准函数解释的主题
A topos for a nonstandard functional interpretation
摘要：
我们引入了一个新的主题，以给出一个语义帐户的非标准功能的解释介绍了Eyvind Briseid，Pavol Safarik和作者。
英文摘要：
We introduce a new topos in order to give a semantic account of the nonstandard functional interpretation introduced by Eyvind Briseid, Pavol Safarik and the author.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
