Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 68–74 [Book Review]

Journal of Symbolic Logic 37 (3):604-605 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272761

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ú. V. Matiásévič Arifmétičéskié prédstavléniá stépénéj. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 159–165. - Yu. V. Mattyasevich. Arithmetic representations of powers. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 75–78. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):605.
G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):527-528.
Minc G. É.. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 , pp. 783–786.Minc G. É.. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by Goss R. N.. Soviet mathematics, vol. 3 no. 6 , pp. 1712–1715. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):525-525.
S. Ú. Maslov. O “Tag”-problémé E. L. Posta . Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 57–68. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 32 (4):526-527.
S. Ú. Maslov. Nékotoryé svojstva apparata kanoničéskih isčislénij E. L. Posta . Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 5–56. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 32 (4):524-526.
N. N. Vorob′év. Novyj algorifm vyvodimosti v konstruktivnom isčislénii uyskazyvanij . Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 193–225. [REVIEW]E. M. Fels - 1964 - Journal of Symbolic Logic 29 (2):108-109.
G. S. Céjtin. Associativnoé isčslénié s nérazréšimoj problémoj ekvivaléntnosti . Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 52, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 172–189. [REVIEW]E. M. Fels - 1965 - Journal of Symbolic Logic 30 (2):254-255.
A. A. Markov. O konstruktivnyh funkciáh . Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Maté-matičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 315–348. [REVIEW]E. M. Fels - 1966 - Journal of Symbolic Logic 31 (2):255-258.
G. S. Céjtin. Odin sposob izložéniá téorii algorifmov i péréčislimyh množéstv . Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, hrsg. von N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, Heft 72, Izdatél′stvo “Nauka,” Moskau und Leningrad1964, S. 69–98. [REVIEW]P. Schreiber - 1970 - Journal of Symbolic Logic 35 (3):478-479.
S. Ú. Maslov. Ponátié strogoj prédstavimosti v obščej téorii isčislénij . Problémy konstruktivnogo napravléniá v matématiké, 4, Sbornik rabot, edited by V. P. Orévkov and N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 93, Izdatél'stvo “Nauka,” Leningrad1967, pp. 3–42. [REVIEW]Robert A. DiPaola - 1974 - Journal of Symbolic Logic 39 (1):188-188.
N. M. Nagornyj. Nékotoryé obobščénia ponátiá normaľnogo algorifma, . Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin. Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 52, Izdatéľstvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 7–65. [REVIEW]E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):360-362.
S. V. Áblonskij. Funktional'nyé postroéniá v k-značnoj logiké . Sbornik statéj po matématičéskoj logiké i éé priložéniám k nékotorym voprosam kibérnétiki, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 51, Izdatél'stvo Akadémii Nauk SSSR, Moscow1958, pp. 5–142. [REVIEW]Arto Salomaa - 1964 - Journal of Symbolic Logic 29 (4):214-216.
A. A. Markov. Téoriá algorifmov . Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 42. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1954, 375 pp. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (1):77-79.
I. D. Zaslavskij. Nékotoryé svojstva konstruktivnyh v隡éstvennyh čisél i konstruktivnyh funkcij. Problémy konstruktivnogo napravléniá v matématiké, 2 , Sbornik robot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 67, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 385–457. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (3):454-454.
Review: Yu. V. Matiyasevich, A. O. Slisenko, Two Reductions of Hilbert's Tenth Problem. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-605.

Analytics

Added to PP
2016-06-30

Downloads
42 (#370,986)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references