On the minimality of tame models in the isols
Joseph Barback · Proceedings of the American Mathematical Society · 1993
Based on the work of Hirschfeld, it is known that there is a close connection between models for the Π 2 0 \Pi _2^0 fragment of arithmetic and homomorphic images of the semiring of recursive functions. This fragment of arithmetic includes most of the familiar results of classical number theory. There is a realization of this fragment in the isols in systems called tame models . In this paper a new proof is given to the following result of Ellentuck and McLaughlin on the minimality of tame models: If two tame models share an infinite element, then the models are equal.