مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Version

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

View:

368
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Download:

129
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Cites:

Information Journal Paper

Title

CUTS AND OVERSPILL PROPERTIES IN MODELS OF BOUNDED ARITHMETIC

Pages

  59-66

Abstract

 In this paper we are concerned with CUTs in models of Samuel Buss’ theories of BOUNDED ARITHMETIC, i.e. theories like Si2 and Ti2. 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 pcuts and small CUTs. In particular, we prove some OVERSPILL and UNDERSPILL properties for them.

Cites

  • No record.

    • References

  • No record.

    • Cite

    APA: Copy

    MONIRI, MORTEZA, & SAJJADI, S. HOSEIN. (2013). CUTS AND OVERSPILL PROPERTIES IN MODELS OF BOUNDED ARITHMETIC. IRANIAN JOURNAL OF MATHEMATICAL SCIENCES AND INFORMATICS (IJMSI), 8(1), 59-66. SID. https://sid.ir/paper/310351/en

    Vancouver: Copy

    MONIRI MORTEZA, SAJJADI S. HOSEIN. CUTS AND OVERSPILL PROPERTIES IN MODELS OF BOUNDED ARITHMETIC. IRANIAN JOURNAL OF MATHEMATICAL SCIENCES AND INFORMATICS (IJMSI)[Internet]. 2013;8(1):59-66. Available from: https://sid.ir/paper/310351/en

    IEEE: Copy

    MORTEZA MONIRI, and S. HOSEIN SAJJADI, “CUTS AND OVERSPILL PROPERTIES IN MODELS OF BOUNDED ARITHMETIC,” IRANIAN JOURNAL OF MATHEMATICAL SCIENCES AND INFORMATICS (IJMSI), vol. 8, no. 1, pp. 59–66, 2013, [Online]. Available: https://sid.ir/paper/310351/en

    Related Journal Papers

  • No record.

    • Related Seminar Papers

  • No record.

    • Related Plans

  • No record.

    • Recommended Workshops






    Move to top
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button