I. N. Hlodovskij. Novoé dokazatél′stvo néprotivoréčivosti arifmétiki. Uspéhi matématičéskih nauk, vol. 14 no. 6 , pp. 105–140. - I. N. Hlodovskií. A new proof of the consistency of arithmetic. English translation of the preceding by Moshe Machover. American Mathematical Society translations, ser. 2 vol. 23 , pp. 191–230 [Book Review]

Journal of Symbolic Logic 32 (1):127-128 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271287

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

Review: I. N. Hlodovskii, Moshe Machover, A New Proof of the Consistency of Arithmetic. [REVIEW]Hilbert Levitz - 1967 - Journal of Symbolic Logic 32 (1):127-128.
A. I. Mal′cév. Konstruktivnyé algébry. I. Uspéhi matématičéskih nauk, vol. 16 no. 3 , pp. 3–60. - A. I. Mal′tsev. Constructive algebras. I. English translation of the preceding by K. A. Hirsch. Russian mathematical surveys, vol. 16 no. 3 , pp. 77–129. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):647-649.
Ú. L. Éršov. I. A. Lavrov, A. D. Tajmanov, and M. A. Tajclin. Eléméntarnyé téorii. Uspéhi matématičéskih nauk, vol. 20 no. 4 , pp. 37–108. - Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin. Elementary theories. English translation of the preceding by P. M. Cohn. Russian mathematical surveys, vol. 20 no. 4 , pp. 35–105. [REVIEW]C. Smorynski - 1974 - Journal of Symbolic Logic 39 (3):603.
Stephen Cole Kleene. Vvédénié v métamatématiku. Russian translation of XIX 215 by A. S. Ésénin-Vol′pin, edited by V. A. Uspénskij. Izdatél′stvo Inostrannoj Litératury, Moscow1957, 526 pp. . - A. S. Ésénin-Vol′pin. Ot péravodčika . Therein, pp. 5–6. - A. S. Ésénin-Vol′pin. Dobavlénié I. Dokazatél′stvo vtoroj téorémy Gëdéla. Therein, pp. 459–474. - A. S. Ésénin-Vol′pin. Dobavlénié II. Vospolnénié probêla υ §§49 i 74. Therein, pp. 474–478. - A. S. Ésénin-Vol′pin. Dobavlénié III. O formalizuémosti péréhoda ot k v dokazatél'stvé téorémy 36. to in the proof of theorem 36.) Therein, p. 479. - A. S. Ésénin-Vol′pin. Dobavlénié IV. Postroénié formuly B priméra 2 §79. Therein, pp. 479–481. - A. S. Ésénin-Vol′pin. Dobavlénié V. Ob ustranimosti ravénstva i néoprédélénnyh opisanij. Therein, pp. 481–484. - A. S. Ésénin-Vol′pin. Dobavlénié VI. O formalizacii indukcii do porádkovyhčisél mén′sih ε0 v sistémé gl. IV . .) Therein, pp. 484–485. - A. S. Ésénin-Vol′pin. Dobavlénié VII. Dokazatél′stvo néproti. [REVIEW]David D. Comey & J. Barkley Rosser - 1960 - Journal of Symbolic Logic 25 (3):280-282.
Šéstakov V. I.. O dvojnoj arifmétičéskoj intérprétacii tréhznačnogo isčisléniá vyskazyvanij, ispol'zuémoj pri modélirovanii elogo isčisléniá posrédstvom réléjno-kommutatornyh shém. Priménénié logiki v nauké i téhnike, Izdatél'stvo Akadémii Nauk SSSR, Moscow 1960, pp. 341–376.Šestakov V. I.. A dual arithmetic interpretation of the 3-valued propositional calculus utilized in the simulation of this calculus by relay-contact networks. English translation of the preceding by Ebner Leo. American Mathematical Society translations, ser. 2 vol. 48 , pp. 45–72. [REVIEW]Alan Rose - 1972 - Journal of Symbolic Logic 37 (1):187-187.
A New Proof of the Consistency of Arithmetic.Moshe Machover - 1967 - Journal of Symbolic Logic 32 (1):127-128.
A. I. Mal′cév. Régularnyé proizvédéniá modéléj. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 489–502. - A. I. Mal′cév. Regular products of models. English translation of the preceding by J. N. Whitney. American Mathematical Society translations, ser. 2 vol. 39 (1964), pp. 193–206. [REVIEW]Abraham Robinson - 1970 - Journal of Symbolic Logic 34 (4):651-652.
N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 , pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258 by Moshe Machover. American Mathematical Society translations, vol. 29 , pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Ve. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory. [REVIEW]A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
A. A. Markov. Konstruktivnaá logika . Uspéhi matematičéskih nauk, vol. 5 no. 3 , pp. 187–188.Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (3):257-257.
S. G. Gindikin. Algébra logiki v zadačah. Russian original of the preceding. Izdatél'stvo “Nauka,” Moscow1972, 288 pp. - Moshe Jarden. Elementary statements over large algebraic fields. Transactions of the American Mathematical Society, vol. 164 , pp. 67–91. [REVIEW]A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):567.
A. N. Kolmogorov and V. A. Uspeńskij. K oprédéléniú algoritma . Uspéhi matématičéskih nauk, vol. 13 no. 4 , pp. 3–28.Elliott Mendelson - 1973 - Journal of Symbolic Logic 38 (4):655.
Markov A. A.. O népréryvnosti konstruktivnyh funkcij . Uspéhi matématičéskih nauk, vol. 9 no. 3 , pp. 226–230.Andrzej Ehrenfeucht - 1956 - Journal of Symbolic Logic 21 (3):319-320.
B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 , pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 , pp. 814–817. [REVIEW]Richard E. Ladner - 1973 - Journal of Symbolic Logic 38 (3):527.
Áblonskij S. V. and Čégis I. A.. O téstah dlá eléktričéskih shém . Uspéhi matématičéskih nauk, vol. 10 no. 4 , pp. 182–184. [REVIEW]E. J. Cogan - 1956 - Journal of Symbolic Logic 21 (4):399-400.

Analytics

Added to PP
2016-06-30

Downloads
18 (#855,749)

6 months
3 (#1,037,581)

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