Strengthening Parikh's theorem for weak Systems of Arithmetic

Abstract

One of the basic results in the studies of weak systems of arithmetic is Parikh's theorem. In this paper we will be interested in an extension of this theorem and, most of all, in further applications of the model theory that is used to prove it.