{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:15:43Z","timestamp":1752228943724},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055789X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023783","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:11:10Z","timestamp":1132395070000},"page":"382-395","source":"Crossref","is-referenced-by-count":9,"title":["Comparing the theory of representations and constructive mathematics"],"prefix":"10.1007","author":[{"given":"A. S.","family":"Troelstra","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"M.J. Beeson","year":"1985","unstructured":"M.J.Beeson, Foundations of Constructive Mathematics, Springer-Verlag, Berlin 1985."},{"key":"30_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E. Bishop","year":"1985","unstructured":"E. Bishop, D.S. Bridges, Constructive Analysis, Springer-Verlag, Berlin 1985."},{"key":"30_CR3","volume-title":"Foundations of Constructive Analysis","author":"E.A. Bishop","year":"1967","unstructured":"E.A. Bishop, Foundations of Constructive Analysis (1967), McGraw Hill, New York."},{"key":"30_CR4","doi-asserted-by":"crossref","first-page":"506","DOI":"10.2307\/2271871","volume":"42","author":"H.M. Friedman","year":"1977","unstructured":"H.M. Friedman, On the derivability of instantiation properties, The Journal of Symbolic Logic 42 (1977), 506\u2013514.","journal-title":"The Journal of Symbolic Logic"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"S.C. Kleene, Formalized recursive functionals and formalized realizability, memoirs of the American mathematical Society 89 (1969).","DOI":"10.1090\/memo\/0089"},{"key":"30_CR6","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BFb0099489","volume-title":"Computation and Proof theory","author":"C. Kreitz","year":"1984","unstructured":"C. Kreitz, K. Weihrauch, A unified approach to constructive and recursive analysis, in: M.M. Richter et al. (eds.), Computation and Proof theory, Springer-Verlag, Berlin 1984, 259\u2013278."},{"key":"30_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(85)90208-7","volume":"38","author":"C. Kreitz","year":"1985","unstructured":"C. Kreitz, K. Weihrauch, Theory of representations, Theoretical Computer Science 38 (1985), 35\u201353.","journal-title":"Theoretical Computer Science"},{"key":"30_CR8","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0168-0072(87)90010-8","volume":"36","author":"C. Kreitz","year":"1987","unstructured":"C. Kreitz, K. Weihrauch, Compactness in constructive analysis revisited, Annals of Pure and Applied Logic 36 (1987), 29\u201338.","journal-title":"Annals of Pure and Applied Logic"},{"key":"30_CR9","volume-title":"Informatik Berichte 59","author":"N. M\u00fcller","year":"1986","unstructured":"N.Th. M\u00fcller, Computational complexity of real functions and real numbers. Informatik Berichte 59 (1986), Fern-Universit\u00e4t Hagen, BRD."},{"key":"30_CR10","unstructured":"P. Martin-L\u00f6f, Intuitionistic Type Theory, Bibliopolis, Napoli."},{"key":"30_CR11","volume-title":"Constructive Real Numbers and Function Spaces","author":"N.A. Shanin","year":"1968","unstructured":"N.A. Shanin, Constructive Real Numbers and Function Spaces, American Mathematical Society, providence (RI), 1968 (translation of the russian original)."},{"volume-title":"Metamathematical investigation of Intuitionistic Arithmetic and Analysis","year":"1973","key":"30_CR12","unstructured":"A.S. Troelstra (ed.), Metamathematical investigation of Intuitionistic Arithmetic and Analysis, Springer verlag, berlin 1973."},{"key":"30_CR13","volume-title":"Constructivism in Mathematics","author":"A.S. Troelstra","year":"1988","unstructured":"A.S. Troelstra, D. van Dalen, Constructivism in Mathematics (1988), North-Holland Publ. Co., Amsterdam"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"J. van Oosten, Exercises in Realizability. Ph.D. thesis, Universiteit van Amsterdam, 1990.","DOI":"10.2307\/2274666"},{"key":"30_CR15","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0304-3975(85)90207-5","volume":"38","author":"K. Weihrauch","year":"1985","unstructured":"K. Weihrauch, Type 2 recursion theory, Theoretical Computer Science 38 (1985), 17\u201333.","journal-title":"Theoretical Computer Science"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"K. Weihrauch, Computability on computable metric spaces, Theoretical Computer Science, to appear.","DOI":"10.1016\/0304-3975(93)90001-A"},{"key":"30_CR17","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/0168-0072(87)90065-0","volume":"35","author":"K. Weihrauch","year":"1987","unstructured":"K. Weihrauch, C. Kreitz, Representations of the real numbers and of the open subsets of the set of real numbers, Annals of Pure and Applied Logic 35 (1987), 247\u2013260.","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023783.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:50:38Z","timestamp":1607550638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023783"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055789X"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0023783","relation":{},"subject":[]}}