@article{CTGDC_2007__48_3_220_0, author = {Coquand, Thierry and Lombardi, Henri and Schuster, Peter}, title = {The projective spectrum as a distributive lattice}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, pages = {220--228}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {48}, number = {3}, year = {2007}, mrnumber = {2351269}, zbl = {1131.03035}, language = {en}, url = {http://archive.numdam.org/item/CTGDC_2007__48_3_220_0/} }