Geodesic
Fixed points for the jump operator
Algebra i logika, Tome 50 (2011) no. 5, pp. 615-646.

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

We construct an example of an admissible set which is a fixed point for the $\Sigma$-jump operator. Also a number of basic properties of fixed points are presented.
Keywords: a KPU-structure, constructive representation, recursively saturated structure, $\Sigma$-jump, $\Sigma$-reducibility, $\Sigma$-definability, hereditarily finite superstructures, natural ordinals.
Mots-clés : admissible set 
@article{AL_2011_50_5_a2,
     author = {V. G. Puzarenko},
     title = {Fixed points for the jump operator},
     journal = {Algebra i logika},
     pages = {615--646},
     publisher = {mathdoc},
     volume = {50},
     number = {5},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2011_50_5_a2/}
}
TY  - JOUR
AU  - V. G. Puzarenko
TI  - Fixed points for the jump operator
JO  - Algebra i logika
PY  - 2011
SP  - 615
EP  - 646
VL  - 50
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2011_50_5_a2/
LA  - ru
ID  - AL_2011_50_5_a2
ER  - 
%0 Journal Article
%A V. G. Puzarenko
%T Fixed points for the jump operator
%J Algebra i logika
%D 2011
%P 615-646
%V 50
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2011_50_5_a2/
%G ru
%F AL_2011_50_5_a2
V. G. Puzarenko. Fixed points for the jump operator. Algebra i logika, Tome 50 (2011) no. 5, pp. 615-646. http://geodesic.mathdoc.fr/item/AL_2011_50_5_a2/

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

[2] A. I. Stukachev, “Teorema ob obraschenii skachka dlya polureshetok $\Sigma$-stepenei”, Sib. elektron. matem. izv., 6 (2009), 182–190 | MR

[3] A. S. Morozov, “O predstavimosti grupp $\Sigma$-opredelimykh perestanovok nad dopustimymi mnozhestvami”, Algebra i logika, 41:4 (2002), 459–480 | MR | Zbl

[4] Kh. Rodzhers, Teoriya rekursivnykh funktsii i effektivnaya vychislimost, Mir, M., 1972 | MR

[5] G. Keisler, Ch. Chen, Teoriya modelei, Mir, M., 1977 | MR

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

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

[8] I. Sh. Kalimullin, V. G. Puzarenko, “O svodimosti na semeistvakh”, Algebra i logika, 48:1 (2009), 31–53 | MR

[9] H. Friedman, “Countable models of set theories”, Cambridge Summer School Math. Logic (Cambridge, 1971), Lecture Notes Math., 337, Springer-Verlag, Berlin, 1973, 539–573 | MR

[10] A. Montalban, A fixed point for the jump operator on structures, arXiv: 1106.0908v1

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

[12] A. Soskova, I. Soskov, “A jump inversion theorem for the degree spectra”, J. Log. Comput., 19:1 (2009), 199–215 | DOI | MR | Zbl

[13] G. E. Sacks, Higher recursion theory, Perspect. Math. Log., Springer-Verlag, Berlin etc., 1990 | MR