Geodesic
Processes and structures on approximation spaces
Algebra i logika, Tome 56 (2017) no. 1, pp. 93-109.

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

We introduce the concept of a computability component on an admissible set and consider minimal and maximal computability components on hereditarily finite superstructures as well as jumps corresponding to these components. It is shown that the field of real numbers $\Sigma$-reduces to jumps of the maximal computability component on the least admissible set $\mathbb{HF}(\varnothing)$. Thus we obtain a result that, in terms of $\Sigma$-reducibility, connects real numbers, conceived of as a structure, with real numbers, conceived of as an approximation space. Also we formulate a series of natural open questions.
Keywords: computability theory, admissible sets, approximation spaces, constructive models, computable analysis, hyperarithmetical computability. 
@article{AL_2017_56_1_a3,
     author = {A. I. Stukachev},
     title = {Processes and structures on approximation spaces},
     journal = {Algebra i logika},
     pages = {93--109},
     publisher = {mathdoc},
     volume = {56},
     number = {1},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2017_56_1_a3/}
}
TY  - JOUR
AU  - A. I. Stukachev
TI  - Processes and structures on approximation spaces
JO  - Algebra i logika
PY  - 2017
SP  - 93
EP  - 109
VL  - 56
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2017_56_1_a3/
LA  - ru
ID  - AL_2017_56_1_a3
ER  - 
%0 Journal Article
%A A. I. Stukachev
%T Processes and structures on approximation spaces
%J Algebra i logika
%D 2017
%P 93-109
%V 56
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2017_56_1_a3/
%G ru
%F AL_2017_56_1_a3
A. I. Stukachev. Processes and structures on approximation spaces. Algebra i logika, Tome 56 (2017) no. 1, pp. 93-109. http://geodesic.mathdoc.fr/item/AL_2017_56_1_a3/

[1] A. I. Stukachev, “Obobschënno giperarifmeticheskaya vychislimost nad strukturami”, Algebra i logika, 55:6 (2016), 769–799

[2] A. I. Stukachev, “On processes and structures”, The nature of computation. Logic, algorithms, applications, 9th conf. comput. Europe – CiE 2013 (Milan, Italy, July 1–5, 2013), Proc., Lect. Notes Comput. Sci., 7921, eds. P. Bonizzoni et al., Springer-Verlag, Berlin, 2013, 393–402 | DOI | MR | Zbl

[3] J. Barwise, Admissible sets and structures. An approach to definability theory, Perspec. Math. Logic, Springer-Velag, Berlin, 1975 | DOI | MR | Zbl

[4] Yu. L. Ershov, Opredelimost i vychislimost, Sibirskaya shkola algebry i logiki, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996 | MR

[5] A. I. Stukachev, “Teorema ob obraschenii skachka dlya polureshetok $\Sigma$-stepenei”, Sib. elektron. matem. izv., 6 (2009), 182–190 http://semr.math.nsc.ru/v6/p182-190.pdf | MR | Zbl

[6] A. I. Stukachev, “A jump inversion theorem for the semilattices of $\Sigma$-degrees”, Sib. Adv. Math., 20:1 (2010), 68–74 | DOI | MR

[7] V. Baleva, “The jump operation for structure degrees”, Arch. Math. Logic, 45:3 (2006), 249–265 | DOI | MR | Zbl

[8] A. S. Morozov, “Ob otnoshenii $\Sigma$-svodimosti mezhdu dopustimymi mnozhestvami”, Sib. matem. zh., 45:3 (2004), 634–652 | MR | Zbl

[9] V. G. Puzarenko, “Ob odnoi svodimosti na dopustimykh mnozhestvakh”, Sib. matem. zh., 50:2 (2009), 415–429 | MR

[10] A. I. Stukachev, “O stepenyakh predstavimosti modelei. I”, Algebra i logika, 46:6 (2007), 763–788 | MR | Zbl

[11] A. I. Stukachev, “O stepenyakh predstavimosti modelei. II”, Algebra i logika, 47:1 (2008), 108–126 | MR | Zbl

[12] Yu. L. Ershov, “$\Sigma$-opredelimost v dopustimykh mnozhestvakh”, DAN SSSR, 285:4 (1985), 792–795 | MR | Zbl