Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property

DOI10.1002/MALQ.19950410105zbMATH Open0820.03028OpenAlexW2044989234MaRDI QIDQ4323830FDOQ4323830

Authors: Akira Kanda 

Publication date: 11 September 1995

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19950410105

Recommendations

• Acceptable Numerations of Function Spaces
• scientific article; zbMATH DE number 3997775
• Some independence results for control structures in complete numberings
• A connotational theory of program structure
• The hereditary partial effective functionals and recursion theory in higher types

zbMATH Keywords

s-m-n theoremacceptable numerationhigher type Myhill-Shepherdson propertyweak acceptability

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65)

Cited In (2)

• Acceptable Numerations of Function Spaces
• Some independence results for control structures in complete numberings

This page was built for publication: Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4323830)