{"title":"部分编号和预完备性","authors":"D. Spreen","doi":"10.1515/9781614518044.325","DOIUrl":null,"url":null,"abstract":"Precompleteness is a powerful property of numberings. Most numberings commonly used in computability theory such as the Godel numberings of the partial computable functions are precomplete. As is well known, exactly the precomplete numberings have the effective fixed point property. In this paper extensions of precompleteness to partial numberings are discussed. As is shown, most of the important properties shared by precomplete numberings carry over to the partial case.","PeriodicalId":359337,"journal":{"name":"Logic, Computation, Hierarchies","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Partial Numberings and Precompleteness\",\"authors\":\"D. Spreen\",\"doi\":\"10.1515/9781614518044.325\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Precompleteness is a powerful property of numberings. Most numberings commonly used in computability theory such as the Godel numberings of the partial computable functions are precomplete. As is well known, exactly the precomplete numberings have the effective fixed point property. In this paper extensions of precompleteness to partial numberings are discussed. As is shown, most of the important properties shared by precomplete numberings carry over to the partial case.\",\"PeriodicalId\":359337,\"journal\":{\"name\":\"Logic, Computation, Hierarchies\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Logic, Computation, Hierarchies\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1515/9781614518044.325\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logic, Computation, Hierarchies","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1515/9781614518044.325","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Precompleteness is a powerful property of numberings. Most numberings commonly used in computability theory such as the Godel numberings of the partial computable functions are precomplete. As is well known, exactly the precomplete numberings have the effective fixed point property. In this paper extensions of precompleteness to partial numberings are discussed. As is shown, most of the important properties shared by precomplete numberings carry over to the partial case.