{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:28Z","timestamp":1725455968815},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556312"},{"type":"electronic","value":"9783540472650"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0021089","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:35:18Z","timestamp":1132619718000},"page":"159-164","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Constructive topology and combinatorics"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Coquand","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","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":"11_CR2","unstructured":"Martin-L\u00f6f, P., Notes on Constructive Mathematics, Almqvist & Wiksell, 1968."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P., Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions, Proceedings of the Second Scandinavian Logic Symposium, (1971), 179\u2013216, J.E. Fenstad, editor.","DOI":"10.1016\/S0049-237X(08)70847-4"},{"key":"11_CR4","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\u2013464.","journal-title":"Indagationes"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1017\/S0305004100003844","volume":"59","author":"C. Nash-Williams","year":"1963","unstructured":"Nash-Williams, C., On well-quasi-ordering finite trees, Proc. Cambridge Phil. Soc. 59, (1963), 833\u2013835.","journal-title":"Proc. Cambridge Phil. Soc."},{"key":"11_CR6","unstructured":"Vickers, S., Topology via Logic, Cambridge Tracts in Theoretical Computer Science 5, 1989."},{"key":"11_CR7","unstructured":"Johnstone, P.J., Stone Spaces, Cambridge Studies in Advanced Mathematics, 1981."},{"key":"11_CR8","unstructured":"Coquand, Th., An Intuitionistic Proof of Tychonoff's Theorem, submitted to the Journal of Symbolic Logic (1991)."},{"key":"11_CR9","unstructured":"Martin-L\u00f6f, P., Domain interpretation of type theory, Workshop on the Semantics of Programming Languages, Chalmers (1983)."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Domain Theory in Logical Form, Annals of Pure and Applied Logic (1991).","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Lorenzen, P., Logical Reflection and Formalism, Journal of Symbolic Logic (1958).","DOI":"10.2307\/2964281"},{"key":"11_CR12","unstructured":"Russell, B., On order in time, in Logic and Knowledges, essays 1901\u20131950, R.C. Marsh, editor, 1936."},{"key":"11_CR13","unstructured":"Wiener, N., A Contribution to the Theory of Relative Position, Proc. Camb. Phil. Soc., Vol. 17 (1914)."},{"key":"11_CR14","unstructured":"Raoult, J.C., An open induction principle, INRIA Report (1988)."},{"key":"11_CR15","unstructured":"Russell, B., Our Knowledge of the External World, Cambridge University Press, 1914."}],"container-title":["Lecture Notes in Computer Science","Constructivity in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T18:14:07Z","timestamp":1580321647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021089"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556312","9783540472650"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0021089","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"16 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}