{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:00:52Z","timestamp":1767927652285,"version":"3.49.0"},"reference-count":23,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T00:00:00Z","timestamp":1128470400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/assumed-1991-2003"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>In this paper we consider two hierarchies of hereditarily total and continuous functionals over the reals based on one extensional and one intensional representation of real numbers, and we discuss under which asumptions these hierarchies coincide. This coincidense problem is equivalent to a statement about the topology of the Kleene-Kreisel continuous functionals. As a tool of independent interest, we show that the Kleene-Kreisel functionals may be embedded into both these hierarchies.<\/jats:p>","DOI":"10.2168\/lmcs-1(2:4)2005","type":"journal-article","created":{"date-parts":[[2006,11,23]],"date-time":"2006-11-23T09:24:43Z","timestamp":1164273883000},"source":"Crossref","is-referenced-by-count":6,"title":["Comparing hierarchies of total functionals"],"prefix":"10.46298","volume":"Volume 1, Issue 2","author":[{"given":"Dag","family":"Normann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2005,10,5]]},"reference":[{"key":"10.2168\/LMCS-1(2:4)2005_AJ","doi-asserted-by":"crossref","unstructured":"S. Abramsky and A. Jung,Domain theory, in S. Abramsky, D.M. Gabbay and T.S.E. Maibaum (eds.)Handbook of Logic in Computer Science, volume 3, Clarendon Press, 1994.","DOI":"10.1093\/oso\/9780198537625.001.0001"},{"key":"10.2168\/LMCS-1(2:4)2005_BS","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310104"},{"key":"10.2168\/LMCS-1(2:4)2005_BES","doi-asserted-by":"crossref","unstructured":"A. Bauer, M.H. Escard\u00f3 and A. Simpson,Comparing Functional Paradigms for Exact Real-number Computation, in Proceedings ICALP 2002, Springer LNCS 2380, pp. 488-500, 2002.","DOI":"10.1007\/3-540-45465-9_42"},{"key":"10.2168\/LMCS-1(2:4)2005_Martin","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00250-2"},{"key":"10.2168\/LMCS-1(2:4)2005_Gi1","unstructured":"P. Di Gianantonio,A Functional Approach to Computability on Real Numbers, Thesis, Universita di Pisa - Genova - Udine, (1993)."},{"key":"10.2168\/LMCS-1(2:4)2005_Gi2","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0046"},{"key":"10.2168\/LMCS-1(2:4)2005_Gi3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00036-5"},{"key":"10.2168\/LMCS-1(2:4)2005_Gierz","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725"},{"key":"10.2168\/LMCS-1(2:4)2005_gri","doi-asserted-by":"publisher","DOI":"10.2307\/2270259"},{"key":"10.2168\/LMCS-1(2:4)2005_hyland","unstructured":"J.M.E. Hyland,Recursion on the countable functionals, D. Phil. Thesis, Oxford (1979)."},{"key":"10.2168\/LMCS-1(2:4)2005_KL","first-page":"81","author":"S. C. Kleene,","year":"1959","journal-title":"Constructivity in Mathematics, North-Holland"},{"key":"10.2168\/LMCS-1(2:4)2005_KR","first-page":"101","author":"G. Kreisel,","year":"1959","journal-title":"Constructivity in Mathematics, North-Holland"},{"key":"10.2168\/LMCS-1(2:4)2005_Kuratowski","unstructured":"C. Kuratowski,TopologieVol 1, Warsawa (1952)."},{"key":"10.2168\/LMCS-1(2:4)2005_LM","doi-asserted-by":"publisher","DOI":"10.2307\/2274281"},{"key":"10.2168\/LMCS-1(2:4)2005_Dag.Hand","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0049-237X(99)80024-X","author":"D. Normann,","year":"1999","journal-title":"Handbook of Computability Theory, North Holland Publ. Comp., Amsterdam"},{"key":"10.2168\/LMCS-1(2:4)2005_Dag.Sh","doi-asserted-by":"crossref","unstructured":"D. Normann,The continuous functionals of finite types over the reals, in K. Keimel, G.Q. Zhang, Y. Liu and Y. Chen (eds.) Domains and processes, 103 - 124, Kluwer Academic Publishers, 2001.","DOI":"10.1007\/978-94-010-0654-5_6"},{"key":"10.2168\/LMCS-1(2:4)2005_Dag.Hier","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.01.028"},{"key":"10.2168\/LMCS-1(2:4)2005_Dag.Def","unstructured":"D. Normann,Definability and reducibility in higher types over the reals, To appear in the proceedings of Logic Colloquium '03."},{"key":"10.2168\/LMCS-1(2:4)2005_Plotkin","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0960129598002692","volume":"11","author":"G. Plotkin,","year":"1999","journal-title":"Math. Struct. in Comp. Science"},{"key":"10.2168\/LMCS-1(2:4)2005_scarp","first-page":"123","volume":"23","author":"B. Scarpellini,","year":"1971","journal-title":"Comp. Math."},{"key":"10.2168\/LMCS-1(2:4)2005_alex","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055795"},{"key":"10.2168\/LMCS-1(2:4)2005_viggo","doi-asserted-by":"crossref","unstructured":"V. Stoltenberg-Hansen, I. Lindstr\u00f6m, and E. R. GrifforMathematical Theory of Domains, Cambridge Tracts in Theor. Comp. Sci. 22, Cambridge University Press (1994).","DOI":"10.1017\/CBO9781139166386"},{"key":"10.2168\/LMCS-1(2:4)2005_Weihrauch","doi-asserted-by":"crossref","unstructured":"K. Weihrauch,Computable analysis, Texts in Theoretical Computer Science, Springer Verlag, Berlin, 2000.","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/2268\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/2268\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,8]],"date-time":"2024-02-08T12:40:37Z","timestamp":1707396037000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/2268"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,5]]},"references-count":23,"URL":"https:\/\/doi.org\/10.2168\/lmcs-1(2:4)2005","relation":{"is-same-as":[{"id-type":"arxiv","id":"cs\/0509019","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.cs\/0509019","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"value":"1860-5974","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,10,5]]},"article-number":"2268"}}