Geodesic
Computability Principles on Admissible Sets
Matematičeskie trudy, Tome 7 (2004) no. 2, pp. 35-71

Voir la notice de l'article provenant de la source Math-Net.Ru

We study some principles of descriptive set theory which are translated from $e$-ideals to admissible sets. We are mainly interested in the properties of principal $e$-ideals. A construction is suggested of an admissible set corresponding to a principal $e$-ideal. This construction preserves the majority of basic computability-theoretic properties of a given principal $e$-ideal, such as the enumeration and uniformization principles, the existence of a universal function, and the separation principle. For principal ideals, we find the exact relations between the above-listed properties. We also find the exact arithmetical and structural estimates for the complexity of separating degrees. The results are used for clarifying the relationship between the principles on admissible sets. 
@article{MT_2004_7_2_a1,
     author = {I. Sh. Kalimullin and V. G. Puzarenko},
     title = {Computability {Principles} on {Admissible} {Sets}},
     journal = {Matemati\v{c}eskie trudy},
     pages = {35--71},
     publisher = {mathdoc},
     volume = {7},
     number = {2},
     year = {2004},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MT_2004_7_2_a1/}
}
TY  - JOUR
AU  - I. Sh. Kalimullin
AU  - V. G. Puzarenko
TI  - Computability Principles on Admissible Sets
JO  - Matematičeskie trudy
PY  - 2004
SP  - 35
EP  - 71
VL  - 7
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MT_2004_7_2_a1/
LA  - ru
ID  - MT_2004_7_2_a1
ER  - 
%0 Journal Article
%A I. Sh. Kalimullin
%A V. G. Puzarenko
%T Computability Principles on Admissible Sets
%J Matematičeskie trudy
%D 2004
%P 35-71
%V 7
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MT_2004_7_2_a1/
%G ru
%F MT_2004_7_2_a1
I. Sh. Kalimullin; V. G. Puzarenko. Computability Principles on Admissible Sets. Matematičeskie trudy, Tome 7 (2004) no. 2, pp. 35-71. http://geodesic.mathdoc.fr/item/MT_2004_7_2_a1/