Descriptive properties on admissible sets

被引:0
|
作者
V. G. Puzarenko
机构
[1] Sobolev Institute of Mathematics,
[2] Siberian Branch,undefined
[3] Russian Academy of Sciences,undefined
来源
Algebra and Logic | 2010年 / 49卷
关键词
admissible set; descriptive property; universal function;
D O I
暂无
中图分类号
学科分类号
摘要
Relations are treated between the following descriptive properties on admissible sets: enumerability, uniformization, reduction, separation, extension. Moreover, in the setting of these properties, we consider existence problems for a universal computable function and for a computable function universal for {0; 1}-valued computable functions. It is shown that all relations between the given properties are strict. Also we look into algorithmic complexity of admissible sets lending support to the specified relations. It is stated that the reduction principle fails in some admissible sets over classical structures.
引用
收藏
页码:160 / 176
页数:16
相关论文
共 50 条