The provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions

Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari

We study Basic Arithmetic, BA introduced by W. Ruitenburg. BA is an arithmetical theory based on basic logic which is weaker than intuitionistic logic. We show that the class of th…