دوره 8، شماره 1 - ( 2-1392 )                   جلد 8 شماره 1 صفحات 66-59 | برگشت به فهرست نسخه ها


XML Print


Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:

Moniri M, Sajjadi S H. Cuts and overspill properties in models of bounded arithmetic. IJMSI 2013; 8 (1) :59-66
URL: http://ijmsi.ir/article-1-403-fa.html
Cuts and overspill properties in models of bounded arithmetic. مجله علوم ریاضی و انفورماتیک. 1392; 8 (1) :59-66

URL: http://ijmsi.ir/article-1-403-fa.html


چکیده:  

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.

نوع مطالعه: پژوهشي | موضوع مقاله: عمومى

ارسال نظر درباره این مقاله : نام کاربری یا پست الکترونیک شما:
CAPTCHA

بازنشر اطلاعات
Creative Commons License این مقاله تحت شرایط Creative Commons Attribution-NonCommercial 4.0 International License قابل بازنشر است.

کلیه حقوق این وب سایت متعلق به نشریه علوم ریاضی و انفورماتیک می باشد.

طراحی و برنامه نویسی : یکتاوب افزار شرق

© 2024 CC BY-NC 4.0 | Iranian Journal of Mathematical Sciences and Informatics

Designed & Developed by : Yektaweb