RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive
Zap. Nauchn. Sem. POMI, 2003 Volume 304, Pages 121–127 (Mi znsl880)
This article is cited 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.

UDC: 517.11

Received: 07.03.2003

Language: English


 English version: Journal of Mathematical Sciences (New York), 2005, 130:2, 4620–4623

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024