Towards finite-fold Diophantine representations |
| |
| Authors: | Yu Matiyasevih |
| |
| Institution: | 1.St. Petersburg Department of the Steklov Mathematical Institute,St. Petersburg,Russia |
| |
| Abstract: | The celebrated theorem established by Martin Davis, Hilary Putnam, and Julia Robinson in 1961 states that every effectively
enumerable set of natural numbers has an exponential Diophantine representation. This theorem was improved by the author in
two ways:
| •
|
to the existence of a Diophantine representation, |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
|
