{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T18:45:04Z","timestamp":1775501104311,"version":"3.50.1"},"reference-count":16,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":11274,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1976,1]]},"DOI":"10.1002\/malq.19760220148","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T03:09:39Z","timestamp":1180148979000},"page":"391-402","source":"Crossref","is-referenced-by-count":27,"title":["On the Definition of Computable Function of a Real Variable"],"prefix":"10.1002","volume":"22","author":[{"given":"J. C.","family":"Shepherdson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"crossref","unstructured":"Friedman A. Algorithmic procedures generalized Turing algorithmus and elementary recursion theory. Logic Colloquium 69 Amsterdam1971 p.361\u2013389.","DOI":"10.1016\/S0049-237X(08)71238-2"},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","first-page":"168","DOI":"10.4064\/fm-42-1-168-202","article-title":"Computable functionals","volume":"42","author":"Grzegorczyk A.","year":"1955","journal-title":"Fund. Math."},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-44-1-61-71","article-title":"On the definitions of computable real continuous functions","volume":"44","author":"Grzegorczyk A.","year":"1957","journal-title":"Fund. Math."},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-2.1.73"},{"key":"e_1_2_1_6_2","first-page":"33","article-title":"Die Pr\u00e4zisierung des Berechenbarkeitsbegriffes in der Analysis mit Hilfe rationaler Funktionale","volume":"5","author":"Klaua D.","year":"1959","journal-title":"This Zeitschr."},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/S1385-7258(56)50037-6"},{"key":"e_1_2_1_8_2","first-page":"1106","article-title":"Ensembles r\u00e9cursivement mesurables et ensembles r\u00e9cursivement ouverts ou ferm\u00e9s","volume":"245","author":"Kreisel G.","year":"1957","journal-title":"C.R. Acad. Sci. Paris"},{"key":"e_1_2_1_9_2","first-page":"2478","article-title":"Extension de la notion de fonction r\u00e9cursive aux fonctions d'une ou plusieurs variables r\u00e9elles I, II, III","volume":"240","author":"Lacombe D.","year":"1955","journal-title":"C.R. Acad. Sci. Paris"},{"key":"e_1_2_1_9_3","first-page":"13","volume":"241","year":"1955","journal-title":"C.R. Acad. Sci. Paris"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","first-page":"37","DOI":"10.4064\/fm-44-1-37-51","article-title":"On computable sequences","volume":"44","author":"Mostowski A.","year":"1957","journal-title":"Fund. Math."},{"key":"e_1_2_1_11_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1974-0347575-8","article-title":"Abstract computability and its relation to the general purpose analog computer","volume":"199","author":"Pour\u2010El M. B.","year":"1974","journal-title":"Trans. Amer. Math. Soc."},{"key":"e_1_2_1_12_2","first-page":"1","article-title":"On a simple definition of computable function of a real variable with applications to functions of a complex variable","volume":"21","author":"Pour\u2010El M. B.","year":"1975","journal-title":"This Zeitschr."},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.2307\/2267933"},{"key":"e_1_2_1_14_2","unstructured":"Rogers H. Jr. Theory of recursive functions and effective computability. New York1967."},{"key":"e_1_2_1_15_2","unstructured":"Rudin W. Principles of mathematical analysis. New York1953."},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.2307\/2267043"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19760220148","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19760220148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T14:41:28Z","timestamp":1697726488000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19760220148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976,1]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1976,1]]}},"alternative-id":["10.1002\/malq.19760220148"],"URL":"https:\/\/doi.org\/10.1002\/malq.19760220148","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1976,1]]}}}