End extensions of models of linearly bounded arithmetic

被引：8
|
作者：
Zambella, D [1 ]
机构：
[1] Univ Amsterdam, Fac Wiskunde & Informat, Dept Math & Comp Sci, NL-1018 TV Amsterdam, Netherlands
来源：
ANNALS OF PURE AND APPLIED LOGIC | 1997年 / 88卷 / 2-3期
关键词：
bounded arithmetic; end extensions;
D O I：
10.1016/S0168-0072(97)00026-2
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We show that every model of I Delta(0) has all end extension to a model of a theory (extending Buss' S-2(0)) where log-space computable function are formalizable. We also show the existence of an isomorphism between models of I Delta(0) and models of linear arithmetic LA (i.e., second-order Presburger arithmetic with finite comprehension for bounded formulas).
引用
收藏
页码：263 / 277
页数：15
相关论文
共 50 条
12345