Regular cuts in models of bounded arithmetic

MaRDI QIDQ5413345zbMATH OpenFDO

Authors Morteza Moniri, S. Hosein Sajjadi

Publication date 29 April 2014

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/42_12_2.pdf

zbMATH Keywords

bounded arithmeticcollection axiomregular cut

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• Cuts and overspill properties in models of bounded arithmetic
• Regularity in models of arithmetic
• The arithmetic of cuts in models of arithmetic
• Model theory of bounded arithmetic with applications to independence results
• Generic cuts in models of arithmetic

Cited in

(6)

• The arithmetic of cuts in models of arithmetic
• Cuts and overspill properties in models of bounded arithmetic
• scientific article; zbMATH DE number 440485 (Why is no real title available?)
• Regularity in models of arithmetic
• Polylogarithmic cuts in models of \(\mathbf{V}^{0}\)
• Constant regions in models of arithmetic

This page was built for publication: Regular cuts in models of bounded arithmetic

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