加载中…
2013-01-16
A topos for a nonstandard functional interpretation
Benno van den Berg
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本