Cuts and overspill properties in models of bounded arithmetic

zbMATH Open1310.03051MaRDI QIDQ2932276FDOQ2932276

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

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

zbMATH Keywords

bounded arithmeticcutoverspillpolynomial inductionunderspill

Mathematics Subject Classification ID

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

Cited In (4)

• Regular cuts in models of bounded arithmetic
• The arithmetic of cuts in models of 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)