Strengthening Parikh's theorem for weak Systems of Arithmetic
Marc Jumelet · Utrecht University Repository (Utrecht University) · 1993
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.