{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:02:56Z","timestamp":1743022976548,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319559100"},{"type":"electronic","value":"9783319559117"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","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":[[2017]]},"DOI":"10.1007\/978-3-319-55911-7_35","type":"book-chapter","created":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T14:23:37Z","timestamp":1490019817000},"page":"484-498","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces"],"prefix":"10.1007","author":[{"given":"Iosif","family":"Petrakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,21]]},"reference":[{"key":"35_CR1","volume-title":"Foundations of Constructive Analysis","author":"E Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"key":"35_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E Bishop","year":"1985","unstructured":"Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg (1985)"},{"key":"35_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565663","volume-title":"Varieties of Constructive Mathematics","author":"D Bridges","year":"1987","unstructured":"Bridges, D., Richman, F.: Varieties of Constructive Mathematics. University Press, Cambridge (1987)"},{"key":"35_CR4","series-title":"Universitext","volume-title":"Techniques of Constructive Analysis","author":"DS Bridges","year":"2006","unstructured":"Bridges, D.S., V\u00ee\u0163\u0103, L.S.: Techniques of Constructive Analysis. Universitext. Springer, New York (2006)"},{"key":"35_CR5","unstructured":"DeJaeger, F.: Calculabilit\u00e9 sur les r\u00e9els. Thesis, Paris VII (2003)"},{"key":"35_CR6","volume-title":"Topology","author":"J Dugundji","year":"1990","unstructured":"Dugundji, J.: Topology. Universal Book Stall, New Delhi (1990)"},{"key":"35_CR7","unstructured":"Hyland, M.: Recursion theory on the countable functionals. Dissertation, Oxford (1975)"},{"key":"35_CR8","volume-title":"Topology","author":"K Kuratowski","year":"1966","unstructured":"Kuratowski, K.: Topology, vol. I. Academic Press, New York (1966)"},{"key":"35_CR9","volume-title":"Topology","author":"K Kuratowski","year":"1968","unstructured":"Kuratowski, K.: Topology, vol. II. Academic Press, New York (1968)"},{"key":"35_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-47992-6","volume-title":"Higher-Order Computability","author":"J Longley","year":"2015","unstructured":"Longley, J., Normann, D.: Higher-Order Computability. Springer, Heidelberg (2015)"},{"key":"35_CR11","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0049-237X(08)71361-2","volume-title":"Patras Logic Symposion","author":"D Normann","year":"1982","unstructured":"Normann, D.: External and internal algorithms on the continuous functionals. In: Metakides, G. (ed.) Patras Logic Symposion, pp. 137\u2013144. North-Holland Publishing Company, Amsterdam (1982)"},{"key":"35_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-540-69407-6_50","volume-title":"Logic and Theory of Algorithms","author":"D Normann","year":"2008","unstructured":"Normann, D.: Internal density theorems for hierarchies of continuous functionals. In: Beckmann, A., Dimitracopoulos, C., L\u00f6we, B. (eds.) CiE 2008. LNCS, vol. 5028, pp. 467\u2013475. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-69407-6_50"},{"issue":"3:11","key":"35_CR13","first-page":"1","volume":"5","author":"D Normann","year":"2009","unstructured":"Normann, D.: A rich hierarchy of functionals of finite types. Logical Methods Comput. Sci. 5(3:11), 1\u201321 (2009)","journal-title":"Logical Methods Comput. Sci."},{"key":"35_CR14","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1142\/9781848162778_0009","volume-title":"Computability in context: computation and logic in the real world","author":"D Normann","year":"2011","unstructured":"Normann, D.: Experiments on an internal approach to typed algorithms in analysis. In: Cooper, S.B., Sorbi, A. (eds.) Computability in context: computation and logic in the real world, pp. 297\u2013327. Imperial College Press, London (2011)"},{"issue":"2:11","key":"35_CR15","first-page":"1","volume":"7","author":"D Normann","year":"2011","unstructured":"Normann, D.: Banach spaces as data types. Logical Methods Comput. Sci. 7(2:11), 1\u201320 (2011)","journal-title":"Logical Methods Comput. Sci."},{"key":"35_CR16","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1515\/9783110324921.353","volume-title":"Logic, Construction, Computation Mathematical Logic","author":"D Normann","year":"2012","unstructured":"Normann, D.: The continuous functionals as limit spaces. In: Berger, U., Diener, H., Schuster, P., Seisenberger, M. (eds.) Logic, Construction, Computation Mathematical Logic, vol. 3, pp. 353\u2013379. Ontos, Heusenstamm (2012)"},{"key":"35_CR17","unstructured":"Petrakis, I.: Limit spaces in computability at higher types, manuscript (2013)"},{"issue":"9","key":"35_CR18","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1016\/j.apal.2016.04.013","volume":"167","author":"I Petrakis","year":"2016","unstructured":"Petrakis, I.: Limit spaces with approximations. Ann. Pure Appl. Logic 167(9), 737\u2013752 (2016)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"35_CR19","first-page":"123","volume":"23","author":"B Scarpellini","year":"1971","unstructured":"Scarpellini, B.: A model for barrecursion of higher types. Compositio Mathematica 23(1), 123\u2013153 (1971)","journal-title":"Compositio Mathematica"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-55911-7_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,26]],"date-time":"2022-07-26T18:13:18Z","timestamp":1658859198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-55911-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319559100","9783319559117"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-55911-7_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}