{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T16:48:41Z","timestamp":1693414121430},"reference-count":22,"publisher":"Wiley","issue":"4-5","license":[{"start":{"date-parts":[[2004,8,18]],"date-time":"2004-08-18T00:00:00Z","timestamp":1092787200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2004,9]]},"abstract":"Abstract<\/jats:title>Index sets are used to measure the complexity of properties associated with the differentiability of real functions and the existence of solutions to certain classic differential equations. The new notion of a locally computable real function is introduced and provides several examples of \u03a30<\/jats:sup>4<\/jats:sub> complete sets. (\u00a9 2004 WILEY\u2010VCH Verlag GmbH & Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200310102","type":"journal-article","created":{"date-parts":[[2004,8,18]],"date-time":"2004-08-18T12:00:35Z","timestamp":1092830435000},"page":"329-344","source":"Crossref","is-referenced-by-count":5,"title":["Index sets for computable differential equations"],"prefix":"10.1002","volume":"50","author":[{"given":"Douglas","family":"Cenzer","sequence":"first","affiliation":[]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2004,8,18]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"D.Cenzer Effective dynamics. In: Logical Methods in Honor of Anil Nerode's Sixtieth Birthday (J. Crossley J. Remmel R. Shore and M. Sweedler eds.) pp. 162\u2013177 (Birkh\u00e4user Progr. Computer Sci. Appl. Logic 12 1993)."},{"key":"e_1_2_1_3_2","unstructured":"D.Cenzer \u03a001classes in computability theory. In: Handbook of Recursion Theory (E. Griffor ed.) pp. 37\u201385 (North Holland Publ. Comp. 1999)."},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(97)00052-3"},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"D.Cenzer andJ. B.Remmel \u03a001classes in mathematics. In: Handbook of Recursive Mathematics (Y. Ersov S. Goncharov A. Nerode and J. Remmel eds.) pp. 623\u2013821 (North\u2010Holland Publ. Comp. 1998).","DOI":"10.1016\/S0049-237X(98)80046-3"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00286-2"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00069-X"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310002"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","unstructured":"W.Gasarch andG.Martin Index sets in recursive combinatorics. In: Logical Methods in Honor of Anil Nerode's Sixtieth Birthday (J. Crossley J. Remmel R. Shore and M. Sweedler eds.) pp. 352\u2013385 (Birkh\u00e4user Progr. Computer Sci. Appl. Logic 12 1993).","DOI":"10.1007\/978-1-4612-0325-4_11"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","unstructured":"W.Gasarch A survey of recursive combinatorics. In: Handbook of Recursive Mathematics Vol. 2 pp. 1041\u20131176 (North\u2010Holland Publ. Comp. 1998).","DOI":"10.1016\/S0049-237X(98)80049-9"},{"key":"e_1_2_1_11_2","unstructured":"K.\u2010I.Ko Complexity Theory of Real Functions (Birkh\u00e4user 1991)."},{"key":"e_1_2_1_12_2","first-page":"1314","article-title":"Differentiability and uniform continuity of constructive functions","volume":"281","author":"Kushner B.","year":"1985","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"e_1_2_1_13_2","doi-asserted-by":"crossref","first-page":"244","DOI":"10.4064\/fm-27-1-244-249","article-title":"\u00dcber die Menge der differenzierbaren Funktionen","volume":"27","author":"Mazurkiewicz S.","year":"1936","journal-title":"Fund. Math."},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1307\/mmj\/1029000631"},{"key":"e_1_2_1_15_2","unstructured":"P.Odifreddi Classical Recursion Theory. (North\u2010Holland Publ. Comp. 1989)."},{"key":"e_1_2_1_16_2","doi-asserted-by":"crossref","unstructured":"M. B.Pour\u2010El andJ. I.Richards Computability in Analysis and Physics (Springer\u2010Verlag 1989).","DOI":"10.1007\/978-3-662-21717-7"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(79)90021-4"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(81)90001-3"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19970430406"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274131"},{"key":"e_1_2_1_21_2","unstructured":"S. G.Simpson Subsystems of Second Order Arithmetic (Springer\u2010Verlag 1991)."},{"key":"e_1_2_1_22_2","doi-asserted-by":"crossref","unstructured":"R.Soare Recursively Enumerable Sets and Degrees (Springer\u2010Verlag 1987).","DOI":"10.1007\/978-3-662-02460-7"},{"key":"e_1_2_1_23_2","doi-asserted-by":"crossref","unstructured":"K.Weihrauch An Introduction to Computable Analysis (Springer\u2010Verlag 2000).","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200310102","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200310102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T16:14:30Z","timestamp":1693412070000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200310102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8,18]]},"references-count":22,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2004,9]]}},"alternative-id":["10.1002\/malq.200310102"],"URL":"https:\/\/doi.org\/10.1002\/malq.200310102","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,8,18]]}}}