超有限主义的模型理论 I：算术的模糊初始段
摘要：超有限模型理论的第一篇文章是一系列计划中的第一篇。本文大致分为两部分。第一部分讨论了超有限计划相关的一些问题，以及到目前为止提出的一些核心思想。论文的第二部分基于标准自然数序列的模糊初始段概念，提出了一个超有限算术模型。我们还引入了一个超有限主义的证明理论和语义，通过这些理论，可行的一致性理论可以与它们传统上的一致性对应物相同对待。我们最后提供了一个基础计划的简要概述，旨在在有限领域内重现无穷远。
作者：Mirco A. Mannucci, Rose M. Cherubin
论文ID：cs/0611100
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23