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/