Thierry Coquand and Claude Quitté.
Journal of Symbolic Computation
45 (2010), 1378-1390.
-- Journal ... 281, (2004), 604-650.-->
The goal of this paper is to show, in constructive mathematics, that if k
a discrete field and f an arbitrary polynomial in k[x,y] then,
letting R = k[x,y]/(f) , the
R[1/f_y] is always a coherent Prüfer ring.