AU - Moniri, Morteza
AU - Sajjadi, S. Hosein
TI - Cuts and overspill properties in models of bounded arithmetic
PT - JOURNAL ARTICLE
TA - IJMSI
JN - IJMSI
VO - 8
VI - 1
IP - 1
4099 - http://ijmsi.ir/article-1-403-en.html
4100 - http://ijmsi.ir/article-1-403-en.pdf
SO - IJMSI 1
ABĀ - 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.
CP - IRAN
IN -
LG - eng
PB - IJMSI
PG - 59
PT - Research paper
YR - 2013