{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T10:38:09Z","timestamp":1772447889812,"version":"3.50.1"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T00:00:00Z","timestamp":1249084800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1007\/s10472-009-9160-7","type":"journal-article","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T08:07:48Z","timestamp":1254125268000},"page":"339-360","source":"Crossref","is-referenced-by-count":4,"title":["Spectral schemes as ringed lattices"],"prefix":"10.1007","volume":"56","author":[{"given":"Thierry","family":"Coquand","sequence":"first","affiliation":[]},{"given":"Henri","family":"Lombardi","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Schuster","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,9,29]]},"reference":[{"key":"9160_CR1","unstructured":"Chicli, L.: Sur la formalisation des math\u00e9matiques dans le calcul des constructions inductives. Technical report, Universit\u00e9 de Nice (2003)"},{"issue":"4","key":"9160_CR2","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.crma.2003.12.008","volume":"338","author":"T Coquand","year":"2004","unstructured":"Coquand, T.: Sur un th\u00e9or\u00e8me de Kronecker concernant les vari\u00e9t\u00e9s alg\u00e9briques. C. R. Math. Acad. Sci. Paris 338(4), 291\u2013294 (2004)","journal-title":"C. R. Math. Acad. Sci. Paris"},{"key":"9160_CR3","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1016\/j.jalgebra.2006.01.050","volume":"305","author":"T Coquand","year":"2006","unstructured":"Coquand, T.: On seminormality. J. Algebra 305, 577\u2013584 (2006)","journal-title":"J. Algebra"},{"key":"9160_CR4","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.apal.2008.09.003","volume":"157","author":"T Coquand","year":"2009","unstructured":"Coquand, T.: Space of valuations. Ann. Pure Appl. Logic 157, 97\u2013109 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9160_CR5","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1142\/S0219498809003199","volume":"8","author":"T Coquand","year":"2009","unstructured":"Coquand, T., Ducos, L., Lombardi, H., Quitt\u00e9, C.: Constructive Krull dimension. I: integral extensions. J. Algebra Appl. 8, 129\u2013138 (2009)","journal-title":"J. Algebra Appl."},{"key":"9160_CR6","unstructured":"Coquand, T., Lombardi, H.: Hidden constructions in abstract algebra, Krull dimension, going up, going Down. Technical report, G\u00f6teborg University (2001)"},{"key":"9160_CR7","unstructured":"Coquand, T., Lombardi, H.: Krull\u2019s principal ideal theorem. Technical report, Institut Mittag- Leffler (2001)"},{"key":"9160_CR8","unstructured":"Coquand, T., Lombardi, H.: Hidden constructions on abstract algebra: Krull dimension of distributive lattices and commutative rings. In: Fontana, M. et\u00a0al. (eds.) Commutative Ring Theory and Applications. Lecture Notes in Pure and Applied Mathematics, vol. 231, pp. 477\u2013499 (2002)"},{"issue":"9","key":"9160_CR9","doi-asserted-by":"crossref","first-page":"826","DOI":"10.1080\/00029890.2005.11920258","volume":"112","author":"T Coquand","year":"2005","unstructured":"Coquand, T., Lombardi, H.: A short proof for the Krull dimension of a polynomial ring. Am. Math. Mon. 112(9), 826\u2013829 (2005)","journal-title":"Am. Math. Mon."},{"key":"9160_CR10","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1017\/S0960129506005627","volume":"16","author":"T Coquand","year":"2006","unstructured":"Coquand, T., Lombardi, H.: A logical approach to abstract algebra. Math. Struct. Comput. Sci. 16, 885\u2013900 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9160_CR11","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/s00229-004-0509-2","volume":"115","author":"T Coquand","year":"2004","unstructured":"Coquand, T., Lombardi, H., Quitt\u00e9, C.: Generating non noetherian modules constructively. Manuscr. Math. 115, 513\u2013520 (2004)","journal-title":"Manuscr. Math."},{"key":"9160_CR12","doi-asserted-by":"crossref","unstructured":"Coquand, T., Lombardi, H., Quitt\u00e9, C.: Dimension de Heitmann des treillis distributifs et des anneaux commutatifs. Publications math\u00e9matiques de Besan\u00e7on. Alg\u00e8bre et Th\u00e9orie des Nombres, pp. 57\u2013100 (2006)","DOI":"10.5802\/pmb.a-113"},{"key":"9160_CR13","first-page":"239","volume-title":"From Sets and Types to Topology and Analysis. Oxford Logic Guides, vol. 48","author":"T Coquand","year":"2005","unstructured":"Coquand, T., Lombardi, H., Roy, M.: An elementary characterisation of Krull dimension. In: Crosilla, L., Schuster, P. (eds.) From Sets and Types to Topology and Analysis. Oxford Logic Guides, vol. 48, pp. 239\u2013244. Oxford University Press, Oxford (2005)"},{"key":"9160_CR14","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s00013-005-1295-0","volume":"85","author":"T Coquand","year":"2005","unstructured":"Coquand, T., Lombardi, H., Schuster, P.: A nilregular element property. Archiv Math. (Basel) 85, 49\u201354 (2005)","journal-title":"Archiv Math. (Basel)"},{"key":"9160_CR15","first-page":"220","volume":"48","author":"T Coquand","year":"2007","unstructured":"Coquand, T., Lombardi, H., Schuster, P.: The projective spectrum as a distributive lattice. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle 48, 220\u2013228 (2007)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle"},{"key":"9160_CR16","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1016\/j.jalgebra.2006.03.026","volume":"303","author":"G D\u00edaz-Toca","year":"2006","unstructured":"D\u00edaz-Toca, G., Gonz\u00e1lez-Vega, L., Lombardi, H., Quitt\u00e9, C.: Modules projectifs de type fini, applications lin\u00e9aires crois\u00e9es et inverses g\u00e9n\u00e9ralis\u00e9s. J. Algebra 303, 450\u2013475 (2006)","journal-title":"J. Algebra"},{"issue":"8","key":"9160_CR17","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1016\/j.crma.2004.09.010","volume":"339","author":"L Ducos","year":"2004","unstructured":"Ducos, L.: Sur les th\u00e9or\u00e8mes de Serre, Bass et Forster-Swan. C. R. Math. Acad. Sci. Paris 339(8), 539\u2013542 (2004)","journal-title":"C. R. Math. Acad. Sci. Paris"},{"key":"9160_CR18","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1016\/j.jalgebra.2004.06.030","volume":"281","author":"L Ducos","year":"2004","unstructured":"Ducos, L., Lombardi, H., Quitt\u00e9, C., Salou, M.: Th\u00e9orie algorithmique des anneaux arithm\u00e9tiques, de Pr\u00fcfer et de Dedekind. J. Algebra 281, 604\u2013650 (2004)","journal-title":"J. Algebra"},{"key":"9160_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-4977-7","volume-title":"Divisor Theory","author":"HM Edwards","year":"1990","unstructured":"Edwards, H.M.: Divisor Theory. Birkh\u00e4user Boston, Boston (1990)"},{"key":"9160_CR20","volume-title":"The Geometry of Schemes","author":"D Eisenbud","year":"2000","unstructured":"Eisenbud, D., Harris, J.: The Geometry of Schemes. Springer, New York (2000)"},{"key":"9160_CR21","first-page":"133","volume":"24","author":"L Espa\u00f1ol","year":"1983","unstructured":"Espa\u00f1ol, L.: Le spectre d\u2019un anneau dans l\u2019alg\u00e8bre constructive et applications \u00e0 la dimension. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle 24, 133\u2013144 (1983)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle"},{"issue":"1","key":"9160_CR22","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1017\/S0960129506005810","volume":"17","author":"N Gambino","year":"2007","unstructured":"Gambino, N., Schuster, P.: Spatiality for formal topologies. Math. Struct. Comput. Sci. 17(1), 65\u201380 (2007)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9160_CR23","volume-title":"\u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique, vol. 1","author":"A Grothendieck","year":"1971","unstructured":"Grothendieck, A., Dieudonn\u00e9, J.: \u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique, vol. 1. Springer, Berlin (1971)"},{"key":"9160_CR24","volume-title":"Topos Theory. London Mathematical Society Monographs, vol. 10","author":"PT Johnstone","year":"1977","unstructured":"Johnstone, P.T.: Topos Theory. London Mathematical Society Monographs, vol. 10. Oxford University Press, Oxford (1977)"},{"key":"9160_CR25","volume-title":"Stone Spaces. Cambridge Studies in Advanced Mathematics, no. 3","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics, no. 3. Cambridge University Press, Cambridge (1982)"},{"key":"9160_CR26","first-page":"256","volume":"16","author":"ndr\u00e9 Joyal","year":"1976","unstructured":"Joyal, ndr\u00e9 .: Les th\u00e9oremes de Chevalley-Tarski et remarques sur l\u2019alg\u00e8bre constructive. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle 16, 256\u2013258 (1976)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle"},{"key":"9160_CR27","doi-asserted-by":"crossref","unstructured":"Kuhlmann, F.-V., Lombardi, H., Perdry, H.: Dynamic computations inside the algebraic closure of a valued field. In Kuhlmann, S., Kuhlmann, F.-V., Marshall, M. (eds.) Valuation Theory and its Applications, vol. 2. Fields Institute Communications, vol. 33, pp. 133\u2013156 (2003)","DOI":"10.1090\/fic\/033\/10"},{"key":"9160_CR28","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s002090100305","volume":"242","author":"H Lombardi","year":"2002","unstructured":"Lombardi, H.: Dimension de Krull, nullstellens\u00e4tze et \u00e9valuation dynamique. Math. Zeitschrift 242, 23\u201346 (2002)","journal-title":"Math. Zeitschrift"},{"key":"9160_CR29","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1016\/j.apal.2005.05.023","volume":"137","author":"H Lombardi","year":"2006","unstructured":"Lombardi, H.: Alg\u00e8bre dynamique, espaces topologiques sans points et programme de Hilbert. Ann. Pure Appl. Logic 137, 256\u2013290 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9160_CR30","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/j.tcs.2007.10.007","volume":"392","author":"H Lombardi","year":"2008","unstructured":"Lombardi, H., Quitt\u00e9, C: Seminormal rings (following Thierry Coquand). Theor. Comput. Sci. 392, 113\u2013127 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"9160_CR31","unstructured":"Lombardi, H., Quitt\u00e9, C.: Constructions cach\u00e9es en alg\u00e8bre abstraite (2). Le principe local global. In: Fontana, M. et al. (eds.) Commutative Ring Theory and Applications. Lecture Notes in Pure and Applied Mathematics, vol. 231, pp. 461\u2013476 (2002)"},{"key":"9160_CR32","volume-title":"Alg\u00e8bre commutative, modules projectifs de type fini","author":"H Lombardi","year":"2009","unstructured":"Lombardi, H., Quitt\u00e9, C.: Alg\u00e8bre commutative, modules projectifs de type fini. Calvage & Mounet, Paris (2009, in press) (English version forthcoming at Springer. Preliminary version available at the home page of H. Lombardi.)"},{"key":"9160_CR33","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1016\/j.jsc.2005.01.004","volume":"39","author":"H Lombardi","year":"2005","unstructured":"Lombardi, H., Yengui, I.: Suslin\u2019s algorithms for reduction of unimodular rows. J. Symb. Comput. 39, 707\u2013717 (2005)","journal-title":"J. Symb. Comput."},{"key":"9160_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in Geometry and Logic","author":"S Mac Lane","year":"1994","unstructured":"Mac\u00a0Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Universitext. Springer, New York (A first introduction to Topos theory, corrected reprint of the 1992 edition.) (1994)"},{"key":"9160_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8640-5","volume-title":"A Course in Constructive Algebra. Universitext","author":"R Mines","year":"1988","unstructured":"Mines, R., Richman, F., Ruitenburg, W.: A Course in Constructive Algebra. Universitext. Springer, New York (1988)"},{"key":"9160_CR36","first-page":"617","volume-title":"Logic and Algebra","author":"S Negri","year":"1996","unstructured":"Negri, S.: Stone bases, alias the constructive content of stone representation. In: Ursini, A., Aglian\u00f3, P. (eds.) Logic and Algebra, pp. 617\u2013636. Dekker, New York (1996)"},{"key":"9160_CR37","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1017\/S0960129501003450","volume":"12","author":"S Negri","year":"2002","unstructured":"Negri, S.: Continuous domains as formal spaces. Math. Struct. Comput. Sci. 12, 19\u201352 (2002)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"9160_CR38","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/j.jsc.2003.02.001","volume":"37","author":"H Perdry","year":"2004","unstructured":"Perdry, H.: Strongly noetherian rings and constructive ideal theory. J. Symb. Comput. 37(4), 511\u2013535 (2004)","journal-title":"J. Symb. Comput."},{"key":"9160_CR39","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1002\/malq.200710042","volume":"54","author":"H Perdry","year":"2008","unstructured":"Perdry, H.: Lazy bases: a minimalist constructive theory of Noetherian rings. MLQ Math. Log. Q. 54, 70\u201382 (2008)","journal-title":"MLQ Math. Log. Q."},{"key":"9160_CR40","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-1-4613-0897-3_12","volume-title":"Mathematical Logic and its Applications","author":"G Sambin","year":"1987","unstructured":"Sambin, G.: Intuitionistic formal spaces\u2014a first communication. In: Skordev, D. (ed.) Mathematical Logic and its Applications, pp. 187\u2013204. Plenum, New York (1987)"},{"issue":"1\u20133","key":"9160_CR41","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/S0304-3975(02)00704-1","volume":"305","author":"G Sambin","year":"2003","unstructured":"Sambin, G.: Some points in formal topology. Theor. Comput. Sci. 305(1\u20133), 347\u2013408 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20133","key":"9160_CR42","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/j.apal.2005.05.026","volume":"137","author":"P Schuster","year":"2006","unstructured":"Schuster, P.: Formal Zariski topology: positivity and points. Ann. Pure Appl. Logic 137(1\u20133), 317\u2013359 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9160_CR43","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.tcs.2008.06.030","volume":"405","author":"P Schuster","year":"2008","unstructured":"Schuster, P.: The Zariski spectrum as a formal geometry. Theor. Comput. Sci. 405, 101\u2013115 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"9160_CR44","doi-asserted-by":"crossref","unstructured":"Schuster, P., Zappe, J.: Do Noetherian modules have Noetherian basis functions? In: Beckmann, A., Berger, U., L\u00f6we, B., Tucker, J.V. (eds.) Logical Approaches to Computational Barriers. Lecture Notes in Computer Science, vol. 3988, pp. 481\u2013489 (2006)","DOI":"10.1007\/11780342_49"},{"issue":"4","key":"9160_CR45","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF01469380","volume":"34","author":"I Sigstam","year":"1995","unstructured":"Sigstam, I.: Formal spaces and their effective presentations. Arch. Math. Log. 34(4), 211\u2013246 (1995)","journal-title":"Arch. Math. Log."},{"key":"9160_CR46","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1016\/j.tcs.2007.10.011","volume":"392","author":"I Yengui","year":"2008","unstructured":"Yengui, I.: Making the use of maximal ideals constructive. Theor. Comput. Sci. 392, 174\u2013178 (2008)","journal-title":"Theor. Comput. Sci."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9160-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-009-9160-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9160-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T09:35:14Z","timestamp":1633944914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-009-9160-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":46,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["9160"],"URL":"https:\/\/doi.org\/10.1007\/s10472-009-9160-7","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8]]}}}