S. Ú. Maslov. O nékotoryh sposobah zadaniá množéstv v bazisah poroždéniá. Doklady Akadémii Nauk SSSR, Vol. 153 , pp. 266–269. - S. Ju. Maslov. Some methods for the definition of sets in generating bases. English translation of the preceding by Avner Falk. Soviet mathematics, vol. 4 no. 6 , pp. 1649–1652 [Book Review]

Journal of Symbolic Logic 32 (3):392-393 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270790

Links

PhilArchive



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

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

S. Ú. Maslov. О strogoj prédstavimosti množéstv isčisléniámi. Doklady Akadémii Nauk SSSR, Vol. 152 , pp. 272–274. - S. Ju. Maslov. Strong representability of sets by calculi. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 5 , pp. 1292–1295. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (3):391-392.
V. I. Amstislavskij. Téorétiko-množéstvénnyé operacii i rékursivnyé iérarhii. Doklady Akadémii Nauk SSSR, vol. 169 , pp. 995–998. - V. I. Amstislavskij. Set-theoretical operations and recursive hierarchies. English translation of the preceding by E. Wesley. Soviet mathematics, vol. 7 no. 4 , pp. 1029–1032. - V. I. Amstislavskij. Rasširénié rékursivnyh iérarhij i R-opéracii. Doklady Akadémii Nauk SSSR, vol. 180 , pp. 1023–1026. - V. I. Amstislavskij. Expansion of recursive hierarchies and R-operations. English translation of the preceding by A. Yablonsky. Soviet mathematics, vol. 9 no. 3 , pp. 703–706. - V. I. Amstislavskij. O razložénii téla množéstv, polučaémyh R-opéraciéj nad rékursivnymi množéstvami. Doklady Akadémii Nauk SSSR, vol. 191 , pp. 743–746. - V. I. Amstislavskij. On the decomposition of a field of sets obtained by an R-operation over recursive sets. English translation of the preceding by S. Shepherd. Soviet mathematics, vol. 11 no. 2 , pp. 419–422. - V. I. Amstislavskij. [REVIEW]Peter G. Hinman - 1972 - Journal of Symbolic Logic 37 (2):409-410.
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.
V. A. Ánkov. O nékotoryh supérkonstruktivnyh isčisléniáh vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 , pp. 796–798. - V. A. Jankov. Some superconstructive propositional calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 4 no. 4 , pp. 1103–1105. - V. A. Ánkov. O réalizuémyh formulah logiki vyskazyvanij.Doklady Akadémii Nauk SSSR, vol. 151 , pp. 1035–1037. - V. A. Jankov. Realizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 , pp. 1146–1148. - V. A. Ánkov. O sváži méždu vyvodimost′ú ν intuičionistskom isčislénii vyskazyvanij i konéčnymi implikativnymi strukturami. Doklady Akadémii Nauk SSSR, vol. 151 , pp. 1293–1294. - V. A. Jankov. The relationship between deducibility in the intuitionist propositional calculus and finite implicational structures. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 , pp. 1203–1204. [REVIEW]Gene F. Rose - 1970 - Journal of Symbolic Logic 35 (1):138-139.
S. Ú. Maslov, G. É. Minc, and V. P. Orévkov. Nérazréšimost′ ν konstruktivnom isčislénii prédikatov nékotoryh klassov formul, sodéržaščih tol′ko odnoméstnyé prédikatnyé péréménnyé. Doklady Akadémii Nauk, vol. 163 , pp. 295–297. - S. Ju. Maslov, G. E. Minc, and V. P. Orevkov. Unsolvability in the constructive predicate calculus of certain classes of formulas containing only monadic predicate variables. Translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 , pp. 918–920. [REVIEW]Georg Kreisel - 1970 - Journal of Symbolic Logic 35 (1):143-144.
Ú. V. Matiásévič Diofantovost' péréčislimyh množéstv. Doklady Akadémii Nauk SSSR, vol. 191 , pp. 279–282. - Ju. V. Matijasevič. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 , pp. 354–357. See Errata, ibid., vol. 11 no. 6 , p. vi. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):605-606.
V. V. Višin. Toždéstvénnyé préobrazovaniá v čétyréhznačnoj logiké. Doklady Akadémii Nauk SSSR, vol. 150 , pp. 719–721. - V. V. Višin. Identical transformations in four-place logic. English translation of the preceding by J. N. Whitney. Soviet mathematics, vol. 4 no. 3 , pp. 724–726. - V. L. Murskij. Suščéstvovanié v tréhznačnoj logiké zamknutogo klassa s konéčnym bazisom, ne iméúščégo konéčnoj polnoj sistémy toždéstv. Doklady Akadémii Nauk SSSR, vol. 163 , pp. 815–818. - V. L. Murskiǐ. The existence in three-valued logic of a closed class with finite basis, not having a finite complete system of identities. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 , pp. 1020–1024. [REVIEW]Ralph Seifert - 1972 - Journal of Symbolic Logic 37 (4):762-763.
G. A. Šéstopal. O čislé prostyh bazisov bulévyh funkcij. Doklady Akadémii Nauk SSSR, vol. 140 , pp. 314–317. - G. A. Šestopal. On the number of simple bases of Boolean functions. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 2 no. 5 , pp. 1215–1219. - S. V. Áblonskij. O supérpoziciáh funkcij v Рκ . Problémy kibérnétiki, vol. 9 , pp. 337–340. - V. V. Martynúk. Isslédovanié nékotoryh klassov funkcij v mnogoznačnyh logikah . Problémy kibérnétiki, vol. 3, pp. 49–60. - É. Ú. Zaharov and S. V. Áblonskij. O nékotoryh svojstvah suščéstvénnyh funkcij iz Рκ . Problémy kibérnétiki, vol. 12 , pp. 247–252. [REVIEW]Arto Salomaa - 1966 - Journal of Symbolic Logic 31 (3):501-502.
B. M. Kloss. K oprédéléniú složnosti algoritmov. Doklady Akademii Nauk SSSR, vol. 157 , pp. 38–40. - B. M. Kloss. The definition of complexity of algorithms. English translation of the preceding by S. L. Bloom. Soviet Mathematics, vol. 5 no. 4 , pp. 880–882. [REVIEW]Alan Cobham - 1969 - Journal of Symbolic Logic 34 (3):509.
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.
N. V. Bélákin. Mašiny T′uringa, rabotaúščié na ploskosti. Doklady Akadémii Nauk SSSR, vol. 168 , pp. 502–503. - N. V. Beljakin. Turing machines operating on a plane. English translation of the preceding by L. Ebner. Soviet mathematics, vol. 7 no. 3 , pp. 661–662. [REVIEW]Patrick C. Fischer - 1968 - Journal of Symbolic Logic 33 (3):469.
Ú. V. Matiásévič. Diofantovo prédstavlénié množéstva prostyh čisél. Doklady Akadémii Nauk SSSR, vol. 196 , pp. 770–773. - Ju. V. Matijasevič. Diophantine representation of the set of prime numbers. English translation of the preceding by R. N. Gross, with an Addendum. Soviet mathematics, vol. 12 no. 1 , pp. 249–254. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):607.
A. I. Mal′cév. Ob eléméntwnyh téoriáh lokal′no svobodnyh univérsal′nyh algébr. Doklady Akadémii Nauk SSSR, vol. 138 , pp. 1009–1012. - A. I. Mal′cev. On the elementary theories of locally free universal algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 3 pp. 768–771. - A. I. Mal′cev. Aksiomatiziruémyé klassy lokal′no svobodnyh algébr nékotoryh tipov . Sibirskij matématičéskij žurnal, vol. 3 , pp. 729–743. [REVIEW]Benjamin Franklin Wells - 1967 - Journal of Symbolic Logic 32 (2):278-279.
M. M. Kipnis. Ob odnom svojstvé propozicionaľnyh formul. Doklady Akadémii Nauk SSSR, vol. 174 , pp. 277–278. - M. M. Kipnis. A property of prepositional formulas. English translation of the preceding by S. Walker. Soviet mathematics, vol. 8 no. 3 , pp. 620–622. [REVIEW]Gene F. Rose - 1969 - Journal of Symbolic Logic 33 (4):606.
M. I. Kratko. Ob odnom klassé isčislénij Posta. Doklady Akadémii Nauk SSSR, Vol. 165 , pp. 994–995. - M. I. Kratko. A class of post calculi. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 No. 6 , pp. 1544–1545. [REVIEW]J. W. Thatcher - 1967 - Journal of Symbolic Logic 32 (3):393.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,054,764)

6 months
4 (#818,853)

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