Curves and coherent Prüfer rings

with Thierry Coquand and Claude Quitté. Journal of Symbolic Computation 45 (2010), 1378-1390. Journal ... 281, (2004), 604-650.-->

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.