Diophantine representation of enumerable predicates
Matematičeskie zametki, Tome 12 (1972) no. 1, pp. 115-120
Cet article a éte moissonné depuis la source Math-Net.Ru
This paper is the author's abstract of dissertation in partial fulfillment of the requirements for the degree of Doctor of Physicomathematical Sciences. The dissertation was defended on February 24, 1972 at a session of the faculty council of the V. A. Steklov Mathematics Institute, Academy of Sciences of the SSSR. The official opponents were: Doctor of Physicomathematical Sciences S. I. Adyan; Corresponding Member of the Academy of Sciences of the USSR Yu. L. Ershov; and Corresponding Member of the Academy of Sciences of the USSR D. K. Faddeev.
@article{MZM_1972_12_1_a14,
author = {Yu. V. Matiyasevich},
title = {Diophantine representation of enumerable predicates},
journal = {Matemati\v{c}eskie zametki},
pages = {115--120},
year = {1972},
volume = {12},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1972_12_1_a14/}
}
Yu. V. Matiyasevich. Diophantine representation of enumerable predicates. Matematičeskie zametki, Tome 12 (1972) no. 1, pp. 115-120. http://geodesic.mathdoc.fr/item/MZM_1972_12_1_a14/