{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T05:40:50Z","timestamp":1698298850813},"reference-count":5,"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":4334,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Myhill\u2010Shepherdson property in recursive function theory states that extensional effective program transformations determine continuous operations on partial functions. Case showed that this property fails to characterize acceptability of numberings of partial recursive functions. In this note we present a higher type analogue to Myhill\u2010Shepherdson property. Our purpose is to show that higher type Myhill\u2010Shepherdson property characterizes weak acceptability under a natural condition.<\/jats:p>","DOI":"10.1002\/malq.19950410105","type":"journal-article","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T00:23:12Z","timestamp":1180830192000},"page":"39-48","source":"Crossref","is-referenced-by-count":0,"title":["Acceptable Numerations of Morphisms and Myhill\u2010Shepherdson Property"],"prefix":"10.1002","volume":"41","author":[{"given":"Akira","family":"Kanda","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":"publisher","DOI":"10.1016\/S0019-9958(83)80052-7"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19730191901"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19850313105"},{"key":"e_1_2_1_5_2","first-page":"353","volume-title":"The Metamathematics of Algebraic Systems","author":"Mal'cev A. I.","year":"1971"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19550010407"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19950410105","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19950410105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T17:57:55Z","timestamp":1698256675000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19950410105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/malq.19950410105"],"URL":"https:\/\/doi.org\/10.1002\/malq.19950410105","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}