{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:01Z","timestamp":1725456361871},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354054495X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013465","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:51:37Z","timestamp":1132728697000},"page":"164-172","source":"Crossref","is-referenced-by-count":2,"title":["A direct proof of the intuitionistic Ramsey Theorem"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Coquand","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/BF01447860","volume":"96","author":"L. E. J. Brouwer","year":"1927","unstructured":"Brouwer, L. E. J., Uber definitionsbereiche von Funktionen, Math. Ann. 96 (1927), 60\u201375.","journal-title":"Math. Ann."},{"key":"13_CR2","unstructured":"Martin-L\u00f6f, P., Notes on Constructive Mathematics, Almqvist & Wiksell, 1970."},{"key":"13_CR3","unstructured":"Richman F. and Stolzenberg G., Well Quasi-Ordered Sets, To appear in Advances in Mathematics (1991)."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Paris J. and Harrington L., A Mathematical Incompleteness in Peano Arithmetic, in the Hanbook of Mathematical Logic (1977), J. Barwise, editor, North-Holland.","DOI":"10.1016\/S0049-237X(08)71130-3"},{"key":"13_CR5","unstructured":"Veldman W., Ramsey's Theorem and the Pigeonhole principle in Intuitionistic Mathematics. Report 9017, Department of Mathematics, catholic University, Toernooiveld, 6525 ED Nijmegen,."},{"key":"13_CR6","first-page":"122","volume":"48","author":"F.P. Ramsey","year":"1928","unstructured":"Ramsey, F.P., On a Problem of Formal Logic, Proc. London Math. Soc. 48 (1928), 122\u2013160.","journal-title":"Proc. London Math. Soc."},{"key":"13_CR7","unstructured":"Coquand, Th., An analysis of Ramsey's Theorem, Submitted to Information and Computation (1991)."},{"key":"13_CR8","unstructured":"Kleene, S.C. and Vesley, R.E., The Foundations of Intuitionistic Mathematics, North-Holland Publishing Company, 1965."},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(91)90065-T","volume":"51","author":"S. Abramsky","year":"1991","unstructured":"Abramsky, S., Domain Theory in Logical Form, Annals of Pure and Applied Logic 51 (1991), 1\u201377.","journal-title":"Annals of Pure and Applied Logic"},{"key":"13_CR10","unstructured":"Fourman, M. P., Continuous Truth I, in Logic Colloquium '82 (1984), North-Holland."},{"key":"13_CR11","unstructured":"Bell, J.L., Toposes and Local Set Theories, An Introduction, Oxford Science Publications, 1988."},{"key":"13_CR12","unstructured":"Coquand, Th., Constructive Topology and Combinatorics, to appear in the proceeding of Constructivity in Computer Science, Trinity University, San Antonio, Texas."},{"key":"13_CR13","unstructured":"Vickers, S., Topology via Logic, Cambridge Tracts in Theoretical Computer Science 5, 1989."},{"key":"13_CR14","first-page":"467","volume":"31","author":"N. G. Bruijn De","year":"1968","unstructured":"De Bruijn, N. G. and Van Der Meiden, W., Notes on Gelfand's theory, Indagationes 31 (1968), 467\u2013474.","journal-title":"Indagationes"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Kripke, S., Semantics analysis of intuitionistic logic I, in: Formal Systems and Recursive Functions. North-Holland, 1965, pp. 92\u2013130.","DOI":"10.1016\/S0049-237X(08)71685-9"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:29:05Z","timestamp":1586579345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013465"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354054495X"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0013465","relation":{},"subject":[]}}