首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Positive Presentations of Families Relative to <Emphasis Type="Italic">e</Emphasis>-Oracles
Authors:I Sh Kalimullin  V G Puzarenko  M Kh Faizrahmanov
Institution:1.Kazan (Volga Region) Federal University,Kazan,Russia;2.Sobolev Institute of Mathematics,Novosibirsk,Russia
Abstract:We introduce the notion of A-numbering which generalizes the classical notion of numbering. All main attributes of classical numberings are carried over to the objects considered here. The problem is investigated of the existence of positive and decidable computable A-numberings for the natural families of sets e-reducible to a fixed set. We prove that, for every computable A-family containing an inclusion-greatest set, there also exists a positive computable A-numbering. Furthermore, for certain families we construct a decidable (and even single-valued) computable total A-numbering when A is a low set; we also consider a relativization containing all cases of total sets (this in fact corresponds to computability with a usual oracle).
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号