|
Zapiski Nauchnykh Seminarov POMI, 2003, Volume 304, Pages 121–127
(Mi znsl880)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Destinies and decidability
P. Cégielski Université Paris XII Val de Marne
Abstract:
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.
Received: 07.03.2003
Citation:
P. Cégielski, “Destinies and decidability”, Computational complexity theory. Part VIII, Zap. Nauchn. Sem. POMI, 304, POMI, St. Petersburg, 2003, 121–127; J. Math. Sci. (N. Y.), 130:2 (2005), 4620–4623
Linking options:
https://www.mathnet.ru/eng/znsl880 https://www.mathnet.ru/eng/znsl/v304/p121
|
Statistics & downloads: |
Abstract page: | 165 | Full-text PDF : | 61 | References: | 57 |
|