A NOTE ON SHARPLY BOUNDED ARITHMETIC

被引：5

作者：

JOHANNSEN, J ^{[1
]}

机构：

[1] UNIV ERLANGEN NURNBERG,IMMD1,D-91058 ERLANGEN,GERMANY

来源：

ARCHIVE FOR MATHEMATICAL LOGIC | 1994年 / 33卷 / 02期

关键词：

D O I：

10.1007/BF01352935

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We prove some independence results for the bounded arithmetic theory R2(0), and we define a class of functions that is shown to be an upper bound for the class of functions definable by a certain restricted class of SIGMA1b-formulae in extensions of R2(0).

引用

页码：159 / 165

页数：7