费尔南多·费雷拉;吉尔达·费雷拉 罗宾逊《Q》的可解释性。 （英语） Zbl 1325.03072号 牛市。符号。日志。 19，第3期，289-317（2013）. E.纳尔逊在他的书《预言算术》中进行了辩护。新泽西州普林斯顿：普林斯顿大学出版社（1986；兹比尔0617.03002)]数学中一种强烈的形式主义立场，怀疑甚至否认指数运算的整体性。这使他以拉斐尔·罗宾逊（Raphael Robinson）的算术Q为借口。这促使纳尔逊（Nelson）调查可以在Q中解释的算术量，在这个项目中，他被其他人追随，从而得出了关于Q中可解释性（或不可解释性）的各种结果。Fernando Ferreira和Gilda Ferreila的文章收集并讨论了关于Q中可解释性（或不可解释性）的一些好结果。例如，两个结果在某种程度上证实了Nelson的立场：一个来自Alex Wilkie的结果说，指数的总和不能在Q中解释，另一个来自罗伯特·索洛维（Robert Solovay）的说法是，否定指数化的总和可以用Q来解释，罗伯特·索洛维（Robert Solovay）的另一个（更一般的）说法是，有一个公式，它和它的否定都可以在Q中解释。另一个例子，费尔南多·费雷拉（Fernando Ferreira）和吉尔达·费雷罗（Gilda Ferreila）的原始结果是，分析理论BTPSA（与多空间可计算函数相关）可以在Q里解释，这有点出乎意料，因为BTPSA足够强大，可以建立黎曼积分，一直到微积分的基本定理。审核人：詹姆·加斯帕（里斯本） 引用于8文件 MSC公司： 35层03 相对一致性和解释 30楼03号 一阶算法和片段 35楼03号 二阶和高阶算术和片段 关键词：理论的可解释性;罗宾逊算术Q;算术理论;分析理论;算术中的幂运算;逻辑哲学与基础 引文：Zbl 0617.03002号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira}和\textit{G.Ferreira}，公牛。符号。日志。19，第3号，289--317（2013；Zbl 1325.03072） 全文： 内政部 链接