Voir la notice de l'article provenant de la source Numdam
The first-value operator assigns to any sequence of partial functions of the same type a new such function. Its domain is the union of the domains of the sequence functions, and its value at any point is just the value of the first function in the sequence which is defined at that point. In this paper, the first-value operator is applied to establish hierarchies of classes of functions under various settings. For effective sequences of computable discrete functions, we obtain a hierarchy connected with Ershov’s one within . The non-effective version over real functions is connected with the degrees of discontinuity and yields a hierarchy related to Hausdorff’s difference hierarchy in the Borel class . Finally, the effective version over approximately computable real functions forms a hierarchy which provides a useful tool in computable analysis.
Keywords: hierarchies of functions, degree of discontinuity, computable analysis, effective descriptive set theory, Hausdorff hierarchy, Ershov hierarchy
@article{ITA_2008__42_2_253_0,
author = {Hemmerling, Armin},
title = {Hierarchies of function classes defined by the first-value operator},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {253--270},
publisher = {EDP-Sciences},
volume = {42},
number = {2},
year = {2008},
doi = {10.1051/ita:2007031},
mrnumber = {2401261},
zbl = {1146.03032},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2007031/}
}
TY - JOUR AU - Hemmerling, Armin TI - Hierarchies of function classes defined by the first-value operator JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2008 SP - 253 EP - 270 VL - 42 IS - 2 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/articles/10.1051/ita:2007031/ DO - 10.1051/ita:2007031 LA - en ID - ITA_2008__42_2_253_0 ER -
%0 Journal Article %A Hemmerling, Armin %T Hierarchies of function classes defined by the first-value operator %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2008 %P 253-270 %V 42 %N 2 %I EDP-Sciences %U http://geodesic.mathdoc.fr/articles/10.1051/ita:2007031/ %R 10.1051/ita:2007031 %G en %F ITA_2008__42_2_253_0
Hemmerling, Armin. Hierarchies of function classes defined by the first-value operator. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008) no. 2, pp. 253-270. doi: 10.1051/ita:2007031
Cité par Sources :