Geodesic
Destinies and decidability
Zapiski Nauchnykh Seminarov POMI, Computational complexity theory. Part VIII, Tome 304 (2003), pp. 121-127 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

Francis Nézondet has introduced a new tool in Logic, called destiny, used to study open problems in Number Theory. We give a sufficient condition of computation of destinies of a structure. 
@article{ZNSL_2003_304_a6,
     author = {P. C\'egielski},
     title = {Destinies and decidability},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {121--127},
     year = {2003},
     volume = {304},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_2003_304_a6/}
}
TY  - JOUR
AU  - P. Cégielski
TI  - Destinies and decidability
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2003
SP  - 121
EP  - 127
VL  - 304
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2003_304_a6/
LA  - en
ID  - ZNSL_2003_304_a6
ER  - 
%0 Journal Article
%A P. Cégielski
%T Destinies and decidability
%J Zapiski Nauchnykh Seminarov POMI
%D 2003
%P 121-127
%V 304
%U http://geodesic.mathdoc.fr/item/ZNSL_2003_304_a6/
%G en
%F ZNSL_2003_304_a6
P. Cégielski. Destinies and decidability. Zapiski Nauchnykh Seminarov POMI, Computational complexity theory. Part VIII, Tome 304 (2003), pp. 121-127. http://geodesic.mathdoc.fr/item/ZNSL_2003_304_a6/

[1] F. Nézondet, p-destinées et applications à la théorie du successeur et de la coprimarité sur les entiers, Ph. D. thesis Université de Clermont-Ferrand 1 (France), 1997