{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T22:42:50Z","timestamp":1751496170133},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261797"},{"type":"electronic","value":"9783540322665"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494645_12","type":"book-chapter","created":{"date-parts":[[2011,1,16]],"date-time":"2011-01-16T17:37:10Z","timestamp":1295199430000},"page":"86-95","source":"Crossref","is-referenced-by-count":1,"title":["A Logical Approach to Abstract Algebra"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Coquand","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Introduction to Commutative Algebra","author":"M.F. Atiyah","year":"1969","unstructured":"Atiyah, M.F., Macdonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley, Reading (1969)"},{"key":"12_CR2","first-page":"86","volume":"79","author":"M. Bezem","year":"2003","unstructured":"Bezem, M., Coquand, T.: Newman\u2019s lemma\u2014a case study in proof automation and geometric logic. Bull. Eur. Assoc. Theor. Comput. Sci. EATCS\u00a079, 86\u2013100 (2003)","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci. EATCS"},{"key":"12_CR3","first-page":"57","volume":"36","author":"A. Blass","year":"1988","unstructured":"Blass, A.: Topoi and computation. Bulletin of the EATCS\u00a036, 57\u201365 (1988)","journal-title":"Bulletin of the EATCS"},{"key":"12_CR4","unstructured":"Coquand, T., Lombardi, H.: Hidden constructions in abstract algebra (3) Krull dimension. In: Fontana, M. (ed.) Commutative ring theory and applicatoins. LNPAM, vol.\u00a0131"},{"key":"12_CR5","unstructured":"Coquand, T., Lombardi, H., Roy, M.F.: Une caract\u00e9risation \u00e9l\u00e9mentaire de la dimension de Krull (2003) (preprint)"},{"key":"12_CR6","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. Acad. Sci. Paris, Ser. I 338, 291-294 (2004)","journal-title":"R. Acad. Sci. Paris, Ser. I"},{"key":"12_CR7","unstructured":"Coquand, T.: A Completness Proof for Geometrical Logic to appear (2005)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/s00229-004-0509-2","volume":"115","author":"T. Coquand","year":"2004","unstructured":"Coquand, T., Lombardi, H., Quitte, C.: Generating non-Noetherian modules constructively. Manuscripta mathematica\u00a0115, 513\u2013520 (2004)","journal-title":"Manuscripta mathematica"},{"issue":"3","key":"12_CR9","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0168-0072(01)00026-4","volume":"111","author":"M. Coste","year":"2001","unstructured":"Coste, M., Lombardi, H., Roy, M.F.: Dynamical methods in algebra: effective Nullstellens\u00e4tze. Annals of Pure and Applied Logic\u00a0111(3), 203\u2013256 (2001)","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR10","doi-asserted-by":"publisher","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. Journal of Algebra\u00a0281, 604\u2013650 (2004)","journal-title":"Journal of Algebra"},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/BF01112211","volume":"84","author":"O Forster","year":"1964","unstructured":"Forster, O.: \u00dcber die Anzahl der Erzeugenden eines Ideals in einem Noetherschen Ring. Math. Z. 84, 80\u201387 (1964)","journal-title":"Math. Z."},{"key":"12_CR12","unstructured":"Gentzen, G.: Collected Works. In: Szabo (ed.), North-Holland, Amsterdam (1969)"},{"issue":"2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1307\/mmj\/1029003021","volume":"31","author":"R. Heitmann","year":"1984","unstructured":"Heitmann, R.: Generating non-Noetherian modules efficiently. Michigan Math. J.\u00a031(2), 167\u2013180 (1984)","journal-title":"Michigan Math. J."},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S0747-7171(08)80154-X","volume":"12","author":"C. Jacobsson","year":"1991","unstructured":"Jacobsson, C., L\u00f6fwall, C.: Standard bases for general coefficient rings and a new constructive proof of Hilbert\u2019s basis theorem. J. Symbolic Comput.\u00a012(3), 337\u2013371 (1991)","journal-title":"J. Symbolic Comput."},{"key":"12_CR15","first-page":"256","volume":"16","author":"A. Joyal","year":"1975","unstructured":"Joyal, A.: Le th\u00e9or\u00e8me de Chevalley-Tarski. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle\u00a016, 256\u2013258 (1975)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle"},{"key":"#cr-split#-12_CR16.1","doi-asserted-by":"crossref","unstructured":"Kronecker, L.: Grundz\u00fcge einer arithmetischen Theorie der algebraischen Gr\u00f6ssen. J. reine angew. Math.\u00a092, 1\u2013123 (1882);","DOI":"10.1515\/crll.1882.92.1"},{"key":"#cr-split#-12_CR16.2","unstructured":"Reprinted in Leopold Kronecker\u2019s Werke II, 237\u2013387"},{"key":"12_CR17","unstructured":"Lombardi, H., Quitt\u00e9, C.: Modules projectifs de type fini. (to appear)"},{"key":"12_CR18","series-title":"Cambridge Studies in Advanced Mathematics","volume-title":"Translated from the Japanese","author":"H. Matsumura","year":"1986","unstructured":"Matsumura, H.: Commutative ring theory. In: Reid, M. (ed.) Translated from the Japanese. Cambridge Studies in Advanced Mathematics, vol.\u00a08. Cambridge University Press, Cambridge (1986)"},{"key":"12_CR19","unstructured":"Serre, J.P.: Modules projectifs et espaces fibr\u00e9s \u00e0 fibre vectorielle. S\u00e9minaire P. Dubreil, Ann\u00e9e (1957\/1958)"},{"key":"12_CR20","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/BF01110912","volume":"102","author":"R.G. Swan","year":"1967","unstructured":"R.G. Swan. The Number of Generators of a Module. Math. Z. 102, 318-322 (1967)","journal-title":"Math. Z."},{"key":"12_CR21","unstructured":"Wraith, G.: Intuitionistic algebra: some recent developments in topos theory. In: Proceedings of the International Congress of Mathematicians (Helsinki, 1978), Helsinki. Acad. Sci. Fennica, pp. 331\u2013337 (1980)"}],"container-title":["Lecture Notes in Computer Science","New Computational Paradigms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494645_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:13Z","timestamp":1605643153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494645_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261797","9783540322665"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11494645_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}