Petr Glivický and Jan Šaroch
Communications in Algebra 41 (2013), no. 11, 4267-4277
Publication year: 2013

Using a nonstandard model of Peano arithmetic, we show that there are quasi-Euclidean subrings of Q[x] which are not k-stage Euclidean for any norm and positive integer k. These subrings can be either PID or non-UFD, depending on the choice of parameters in our construction. In both cases, there are 2^{\omega} such domains up to ring isomorphism.

Leave a Reply

Your email address will not be published. Required fields are marked *