Iranian Journal of Mathematical Sciences and Informatics
مجله علوم ریاضی و انفورماتیک ایرانیان
IJMSI
Basic Sciences
http://ijmsi.ir
1
admin
1735-4463
2008-9473
8
7
14
8888
13
en
jalali
1392
2
1
gregorian
2013
5
1
8
1
online
1
fulltext
en
Cuts and overspill properties in models of bounded arithmetic
عمومى
General
پژوهشي
Research paper
<p>In this paper we are concerned with cuts in models of Samuel Buss' theories of bounded arithmetic, i.e. theories like $S_{2}^i$ and $T_{2}^i$. In correspondence with polynomial induction, we consider a rather new notion of cut that we call p-cut. We also consider small cuts, i.e. cuts that are bounded above by a small element. We study the basic properties of p-cuts and small cuts. In particular, we prove some overspill and underspill properties for them.</p>
Mathematical logic, bounded arithmetic, polynomial induction, cut, overspill, underspill.
59
66
http://ijmsi.ir/browse.php?a_code=A-10-1-126&slc_lang=en&sid=1
Morteza
Moniri
`10031947532846002234`

10031947532846002234
Yes
S. Hosein
Sajjadi
`10031947532846002235`

10031947532846002235
No