{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T03:20:30Z","timestamp":1649128830124},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1983,12,1]],"date-time":"1983-12-01T00:00:00Z","timestamp":439084800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1983,12]]},"DOI":"10.1007\/bf02023015","type":"journal-article","created":{"date-parts":[[2005,8,12]],"date-time":"2005-08-12T12:01:33Z","timestamp":1123848093000},"page":"79-98","source":"Crossref","is-referenced-by-count":1,"title":["R.E. degrees of continuous functionals"],"prefix":"10.1007","volume":"23","author":[{"given":"Dag","family":"Normann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02023015_CR1","unstructured":"Bergstra, J.A.: Computability and continuity in finite types. Theses, University of Utrecht 1976."},{"key":"BF02023015_CR2","volume-title":"Generalized recursion theory. II","author":"J.A. Bergstra","year":"1978","unstructured":"Bergstra, J.A.: The continuous functionals and2 E. In: Fenstad, J.E., Gandy, R.O., Sacks, G.E. (eds.): Generalized recursion theory. II. Amsterdam: North-Holland 1978."},{"key":"BF02023015_CR3","doi-asserted-by":"crossref","first-page":"245","DOI":"10.2307\/2270259","volume":"36","author":"T. Grilliot","year":"1971","unstructured":"Grilliot, T.: On effectively discontinuous type-2 objects, J. Symb. Logic36, 245\u2013248 (1971).","journal-title":"J. Symb. Logic"},{"key":"BF02023015_CR4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0003-4843(79)90006-8","volume":"16","author":"J.M.E. Hyland","year":"1979","unstructured":"Hyland, J.M.E.: Filterspaces and continuous functionals. Ann. Math. Logic16, 101\u2013143 (1979).","journal-title":"Ann. Math. Logic"},{"key":"BF02023015_CR5","first-page":"1","volume":"91","author":"S.C. Kleene","year":"1959","unstructured":"Kleene, S.C.: Recursive functionals and quantifiers of finite types. I. Trans. Am. Math. Soc.91 1\u201352 (1959); II, 106\u2013142 (1963).","journal-title":"Trans. Am. Math. Soc."},{"key":"BF02023015_CR6","first-page":"81","volume-title":"Constructivity in mathematics","author":"S.C. Kleene","year":"1959","unstructured":"Kleene, S.C.: Countable functionals. In: Heyting, A. (ed.): Constructivity in mathematics, pp. 81\u2013100. Amsterdam: North-Holland 1959."},{"key":"BF02023015_CR7","first-page":"101","volume-title":"Constructivity in mathematics","author":"G. Kreisel","year":"1959","unstructured":"Kreisel, G.: Interpretation of analysis by means of functionals of finite type. In: Heyting, A. (ed.): Constructivity in mathematics, pp. 101\u2013128. Amsterdam: North-Holland 1959."},{"key":"BF02023015_CR8","volume-title":"Springer Lecture Notes","author":"D. Normann","year":"1980","unstructured":"Normann, D.: Recursion on the continuous functionals. In: Springer Lecture Notes. Berlin, Heidelberg, New York: Springer 1980."},{"key":"BF02023015_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(81)90014-0","volume":"21","author":"D. Normann","year":"1981","unstructured":"Normann, D.: The continuous functionals; computations, recursions, and degrees. Ann. Math. Logic21, 1\u201326 (1981).","journal-title":"Ann. Math. Logic"},{"key":"BF02023015_CR10","unstructured":"Normann, D.: General typestructures of continuous and countable functionals (to appear in Arch. math. Logik)."},{"key":"BF02023015_CR11","unstructured":"Normann, D.: Characterizing the continuous functionals (to appear in J. Symb. Logic)."},{"key":"BF02023015_CR12","doi-asserted-by":"crossref","first-page":"549","DOI":"10.2307\/2273422","volume":"45","author":"D. Normann","year":"1980","unstructured":"Normann, D., Wainer, S.S.: The 1-section of a countable functional. J. Symb. Logic45, 549\u2013562 (1980).","journal-title":"J. Symb. Logic"},{"key":"BF02023015_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/CBO9780511629181.002","volume-title":"Recursion theory: its generalisations and applications","author":"R.I. Soare","year":"1980","unstructured":"Soare, R.I.: Fundamental methods for constructing recursively enumerable degrees. In: Drake, F.R., Wainer, S.S., (eds.): Recursion theory: its generalisations and applications, pp. 1\u201351. Cambridge: Cambridge University Press 1980."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02023015.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02023015\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02023015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T22:39:56Z","timestamp":1557787196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02023015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,12]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1983,12]]}},"alternative-id":["BF02023015"],"URL":"https:\/\/doi.org\/10.1007\/bf02023015","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,12]]}}}