Cuts and overspill properties in models of bounded arithmetic

MaRDI QIDQ2932276zbMATH OpenFDO

Authors Morteza Moniri, S. Hosein Sajjadi

Publication date 1 December 2014

Full work available at URL http://www.ijmsi.ir/browse.php?slc_lang=en&sid=1&a_id=403

zbMATH Keywords

bounded arithmeticcutoverspillpolynomial inductionunderspill

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• Regular cuts in models of bounded arithmetic
• The arithmetic of cuts in models of arithmetic
• Generic cuts in models of arithmetic
• The model theory of generic cuts
• Overspill and fragments of arithmetic

Cited in

(4)

• The arithmetic of cuts in models of arithmetic
• Regular cuts in models of bounded arithmetic
• Polylogarithmic cuts in models of \(\mathbf{V}^{0}\)
• Overspill and fragments of arithmetic

This page was built for publication: Cuts and overspill properties in models of bounded arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2932276)