@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://www.numdam.org/item/CTGDC_2007__48_3_220_0/}
}