Skip to main content

Destinies and Decidability

Abstract

The notion of destinies, introduced by Nezondet, serves as a logical tool in studying open problems of number theory. This paper provides a condition sufficient for the destinies of a structure to be computable. Bibliography: 1 title.

REFERENCES

  1. F. Nezondet, p-destinees et applications a la theorie du successeur et de la coprimarite sur les entiers, Ph. D. Thesis, Universite de Clermont-Ferrand 1 (France) (1997).

Download references

Author information

Authors and Affiliations

Authors

Additional information

__________

Published in Zapiski Nauchnykh Seminarov POMI, Vol. 304, 2003, pp. 121–127.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Cegielski, P. Destinies and Decidability. J Math Sci 130, 4620–4623 (2005). https://doi.org/10.1007/s10958-005-0356-z

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10958-005-0356-z

Keywords

  • Open Problem
  • Number Theory
  • Logical Tool