Addendum to ‘Embedding GCD Domains in Bezout Domains’

It has come to our attention that the main theorem in our paper [3] had appeared previously in the literature, in an article by P. M. Cohn [1]. Although the results are essentially the same, our proof is completely different from his and may therefore be of interest. We have developed the definition of content of a polynomial in a certain extension of a GCD domain; Prof. Cohn generalized the notion of GCD domain to that of a Schreier domain and worked with the latter. In fact the Schreier property developed in his paper proves itself to be useful in the study of models of open induction, a weak fragment of Peano arithmetic. It is shown in [4] that the Schreier property is preserved by all of the constructions described in [2] except for D and H. Thus most of the pathological models of open induction constructed in [2] can be taken to be Schreier domains.