no. 3
The projective spectrum as a distributive lattice
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 48 (2007) no. 3, pp. 220-228. 
@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/}
}
TY  - JOUR
AU  - Coquand, Thierry
AU  - Lombardi, Henri
AU  - Schuster, Peter
TI  - The projective spectrum as a distributive lattice
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 2007
SP  - 220
EP  - 228
VL  - 48
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_2007__48_3_220_0/
LA  - en
ID  - CTGDC_2007__48_3_220_0
ER  - 
%0 Journal Article
%A Coquand, Thierry
%A Lombardi, Henri
%A Schuster, Peter
%T The projective spectrum as a distributive lattice
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 2007
%P 220-228
%V 48
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_2007__48_3_220_0/
%G en
%F CTGDC_2007__48_3_220_0
Coquand, Thierry; Lombardi, Henri; Schuster, Peter. The projective spectrum as a distributive lattice. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 48 (2007) no. 3, pp. 220-228. http://archive.numdam.org/item/CTGDC_2007__48_3_220_0/

[1] Coquand, Th., and H. Lombardi, Hidden constructions in abstract algebra (3). Krull dimension of distributive lattices and commutative rings. In: M. Fontana, S.-E. Kabbaj, S. Wiegand, eds., Commutative Ring Theory and Applications. Lect. Notes Pure Appl. Math. 131, Dekker, New York (2002), 477-499 | MR | Zbl

[2] Eisenbud, D., and J. Harris, The Geometry of Schemes. Springer, New York (2000) | MR | Zbl

[3] Johnstone, P.T., Stone Spaces. Cambridge Studies Adv. Math. 3, Cambridge University Press, Cambridge (1982) | MR | Zbl

[4] Joyal, A., Les théorèmes de Chevalley-Tarski et remarques sur l'algèbre constructive. Cahiers top. et géom. diff. 16 (1976), 256-258 | Zbl

[5] Tierney, M., On the spectrum of a ringed topos. In: A. Heller, M. Tierney, eds., Algebra, Topology, and Category Theory. A Collection of Papers in Honor of Samuel Eilenberg. Academic Press, New York (1976), 189-210 | MR | Zbl