Abstract :
The goal of this paper is to show, in constructive mathematics, that if k
is
a discrete field and f an arbitrary polynomial in k[x,y] then,
letting R = k[x,y]/(f) , the
localisation
R[1/f_y] is always a coherent Prüfer ring.