Geodesic
Degrees of presentability of structures. II
Algebra i logika, Tome 47 (2008) no. 1, pp. 108-126

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

We show that the property of being locally constructivizable is inherited under Muchnik reducibility, which is weakest among the effective reducibilities considered over countable structures. It is stated that local constructivizability of level higher than 1 is inherited under $\Sigma$-reducibility but is not inherited under Medvedev reducibility. An example of a structure $\mathfrak M$ and a relation $P\subseteq M$ is constructed for which $\underline{(\mathfrak M,P)}\equiv\underline{\mathfrak M}$ but $(\mathfrak M,P)\not\equiv_\Sigma\mathfrak M$. Also, we point out a class of structures which are effectively defined by a family of their local theories.
Mots-clés : admissible set
Keywords: semilattice of degrees of $\Sigma$-definability. 
@article{AL_2008_47_1_a6,
     author = {A. I. Stukachev},
     title = {Degrees of presentability of {structures.~II}},
     journal = {Algebra i logika},
     pages = {108--126},
     publisher = {mathdoc},
     volume = {47},
     number = {1},
     year = {2008},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2008_47_1_a6/}
}
TY  - JOUR
AU  - A. I. Stukachev
TI  - Degrees of presentability of structures. II
JO  - Algebra i logika
PY  - 2008
SP  - 108
EP  - 126
VL  - 47
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2008_47_1_a6/
LA  - ru
ID  - AL_2008_47_1_a6
ER  - 
%0 Journal Article
%A A. I. Stukachev
%T Degrees of presentability of structures. II
%J Algebra i logika
%D 2008
%P 108-126
%V 47
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2008_47_1_a6/
%G ru
%F AL_2008_47_1_a6
A. I. Stukachev. Degrees of presentability of structures. II. Algebra i logika, Tome 47 (2008) no. 1, pp. 108-126. http://geodesic.mathdoc.fr/item/AL_2008_47_1_a6/