自然数的点状标准与非标准模型

抽象计算模型常将 $\mathbb{N}$ 上的后继函数 $S$ 视为原始操作，尽管其底层实现对应于特定数值表示上的非平凡程序。可不依赖记号来分析这一行为，通过将标准解释 $(\mathbb{N}, S)$ 替换为同构拷贝 ${\mathcal A} = (\mathbb{N}, S^{\mathcal A})$ 来实现，其中 $S^{\mathcal A}$ 无法通过单条指令计算。若 $S^{\mathcal{A}}$ 可计算，则 ${\mathcal A}$ 上可计算函数的类为标准，但现有结果表明这一等价性在原始递归水平上失效。我们研究哪些操作集具有如下属性：若其在 $\mathcal A$ 上为原始递归，则 ${\mathcal A}$ 上原始递归函数的类保持标准。我们称此类操作集为“点状标准基”。我们展示了一系列非基结果，说明 ${\mathcal A}$ 上诱导的原始递归函数类如何显著偏离标准类。特别是，我们证明包括 Skolem 和 Levitz 所研究的广泛原始递归函数子类的许多自然操作均不构成此类基。在积极方面，我们展示了自然的有限基，使得点状标准性成立。我们的结果解答了 Grabmayr 最近提出的问题，并为某些自然有限生成结构建立点状范畴性。