The projective spectrum as a distributive lattice Thierry Coquand, Henri Lombardi, Peter Schuster (2007) Cahiers de Topologie et Géométrie Différentielle Catégoriques
The second isomorphism theorem on ordered set under antiorders Daniel A. Romano (2007) Kragujevac Journal of Mathematics