Acceptable Numerations of Morphisms and Myhill-Shepherdson Property

✍ Scribed by Akira Kanda

• Publisher: John Wiley and Sons
• Year: 1995
• Tongue: English
• Weight: 505 KB
• Volume: 41
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19950410105

✦ Synopsis

Myhill-Shepherdson 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-Shepherdson property. Our purpose is to show that higher type Myhill-Shepherdson property characterizes weak acceptability under a natural condition.