A Hierarchy of Cuts in Models of Arithmetic
A Hierarchy of Cuts in Models of Arithmetic
复制标题
算术模型中的切割层次结构
DOI：
10.1007/bfb0090171
复制
发表时间：
1980
影响因子：
0.6
通讯作者：
J. Paris
中科院分区：
文献类型：
--
作者：
J. Paris
在本文中，我们表明，它是可能的分类大多数自然族的切割考虑到一个单一的层次。这种分类给出了算法片段的守恒性和独立性结果。
In this paper we show that it is possible to classify most of the natural families of cuts considered to date in terms of a single hierarchy. This classification gives conservation and independence results for fragments of arithmetic.