A. I. Mal′cév. Sirogo rodstvénnyé modéli i rékursivno sovéršénnyé algebry. Doklady Akadémii Nauk SSSR, vol. 145 , pp. 276–279. - A. I. Mal′cév. Strongly related models and recursively complete algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 3 no. 4 , pp. 987–991 [Book Review]

Journal of Symbolic Logic 31 (4):649-650 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1997

DOI

10.2307/2269704

Links

PhilArchive



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

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

I. Žuravlév Ú.. O névozmožnosti postroéniá minimal'nyh dizúnktivnyh normal'nyh form funkcij algébry logiki v odnom kassé algoritmov. Doklady Akadémii Nauk SSSR, vol. 132 , pp. 504–506.Žuravlev Yu. I.. On the impossibility of constructing minimal disjunctive normal forms for functions of the algebra of logic in a single class of algorithms. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 1 no. 3 , pp. 581–583. [REVIEW]Andrzej Rowicki - 1965 - Journal of Symbolic Logic 30 (3):379-379.
Ánkov V. A.. O rasširénii intuicionistskogo propozicional′nogo isčisléniá do klassičéskogo i minimal′nogo-do intuicionistskogo. Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 32 , pp. 208–211.Jankov V. A.. On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus. English translation of the preceding. Mathematics of the USSR—Izvestija , vol. 2 no. 1 , pp. 205–208. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-331.
Kabakov F. A.. O modélirovanii po réalizuémosti psévdobulévyh algébr. Doklady Akadémii Nauk SSSR, vol. 192 , pp. 16–18.Kabakov F. A.. On modelling of pseudo-Boolean algebras by realizability. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 , pp. 562–564. [REVIEW]Gene F. Rose - 1972 - Journal of Symbolic Logic 37 (3):627-628.
A. D. Tajmanov. Haraktéristika aksiomatiziruémyh klassov modélej. II. Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 25 , pp. 755–764. [REVIEW]Andrzej Mostowski - 1973 - Journal of Symbolic Logic 38 (1):165-166.
Review: A. I. Mal'cev, Elliott Mendelson, Strongly Related Models and Recursively Complete Algebras. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-650.
B. È. Shapirovskiĭ. O π-kharaktere i π-vese v bikompaktakh. Doklady Akademii Nauk SSSR, vol. 223 (1975), pp. 799–802. - B. È. Šapirovskiĭ. On π-character and π-weight in compact Hausdorff spaces. English translation by I. Juhász of the preceding. Soviet mathematics, vol. 16 no. 4 (for 1975, pub. 1976), pp. 999–1004. - B. È. Shapirovskiĭ. Ob otobrazheniyakh na Tikhonovskie kuby. Uspekhi matematich-eskikhnauk, vol. 35 no. 3 (1980), pp. 122–130. - B. E. Shapirovskii. Maps onto Tikhonov cubes. English translation by A. West of the preceding. Russian mathematical surveys, vol. 35 no. 3 (1980), pp. 145–156. [REVIEW]Zoltan T. Balogh - 2001 - Bulletin of Symbolic Logic 7 (4):536-537.
Minc G. É.. Skolèmovskij métod eliminacii položitél'nyh kvantorov v sékvéncial'nyh isčisléniáh. Doklady Akadémii Nauk SSSR, vol. 169 , pp. 24–27.Minc G. E.. Skolem's method of elimination of positive quantifiers in sequential calculi. English translation of the preceding by Ebner L.. Soviet mathematics, vol. 7 no. 4 , pp. 861–864. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):526-527.
Ostianu V. M.. O sintézé kontaktnyh shém s šagovymi péréklúčatélámi. Doklady Akadémii Nauk SSSR, vol. 103 , pp. 827–830.Ostianu V. M.. On the synthesis of switching circuits with selector switches. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 7 pp. [REVIEW]Edward F. Moore - 1959 - Journal of Symbolic Logic 24 (1):76-76.
Strongly Related Models and Recursively Complete Algebras.Elliott Mendelson - 1966 - Journal of Symbolic Logic 31 (4):649-650.
Maslov S. Ú.. Préobrazovanié proizvol′nyh kanoničéskih isčislénij v kanoničéskié isčisléniá spécial′nyh tipov. Doklady Akadémii Nauk SSSR, vol. 147 , pp. 779–782.Maslov S. Ju.. Transformation of arbitrary canonical calculi into canonical calculi of special types. English translation of the preceding by Gdss R. N.. Soviet mathematics, vol. 3 no. 6 , pp. 1708–1711. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 32 (4):527-527.
Grindlingér É. I.. O nérazréšimosti problémy toždéstva slov dlá odnogo klassa polugrupp s razréšimoj problèmoj izomorfizma. Doklady Akadémii Nauk SSSR, vol. 171 , pp. 519–520.Grindlinger [Greendlinger] E. I.. On the unsolvability of the word problem for a class of semigroups with a solvable isomorphism problem. English translation of the preceding by Greendlinger M.. Soviet mathematics, vol. 7 no. 6 , pp. 1502–1503. [REVIEW]C. R. J. Clapham - 1968 - Journal of Symbolic Logic 33 (3):469-469.
Mučnik A. A.. Ob otdélimosti rékursivno-péréčislimyh množestv . Doklady Akadémii Nauk SSSR, vol. 109 , pp. 29–32.Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):224-225.
N. A. Šanin. O nékotoryh opéraciáh nad logiko-arifmétičéskimi formulami . Doklady Akadémii Nauk SSSR, vol.93 , pp. 779–782. - N. A. Šanin. O pogružéniáh klassičéskogo logiko-arifmétičéskogo isčisléniá v konstruktivnoé logiko-arifmétičéskoé isčislénié . Doklady Akadémii Nauk SSSR, vol. 94 , pp. 193–196. [REVIEW]Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (4):297-298.
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.
Markov A. A.. Ob invérsionnoj složnosti sistém funkcij. Doklady Akadémii Nauk SSSR, vol. 116 , pp. 917–919.Markov A. A.. On the inversion complexity of a system of functions. English translation of the preceding by Morris D. Friedman. Journal of the Association for Computing Machinery, vol. 5 , pp. 331–334. [REVIEW]E. N. Gilbert - 1965 - Journal of Symbolic Logic 30 (3):378-379.

Analytics

Added to PP
2014-03-30

Downloads
19 (#793,504)

6 months
9 (#300,363)

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