A. V. Arkhangel′skiĭ. O moshchnosti bikompaktov c pervoĭ aksiomoĭ schetnosti. Dok-lady Akademii Nauk SSSR, vol. 187 (1969), pp. 967–970. - 
            A. V. Arhangel′skiĭ. On the cardinality of bicompacta satisfying the first axiom of countability. English translation by Z. Skalsky of the preceding. Soviet mathematics, vol. 10 (1969), pp. 951–955. - 
            R. Pol. Short proofs of two theorems on cardinality of topological spaces. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences Série des sciences mathématiques, astronomique et physiques, vol. 22 (1974), pp. 1245–1249. - 
            Alan Dow. An introduction to applications of elementary submodels to topology. Topology proceedings (Auburn), vol. 13 (1988), pp. 17–72.

F. L. Varpahovskij. О néréalizuémosti dizúnkcii néréalizuémyh formul logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 161 (1965), pp. 1257–1258. - F. L. Varpahovskij. The nonrealizability of a disjunction of nonrealizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 No. 2 (1965), pp. 568–570.

10.2307/2270799 ◽

1967 ◽

Vol 32 (3) ◽

pp. 396-396

Author(s):

D. Nelson

Keyword(s):

English Translation ◽

Propositional Logic ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Ú. I. Žuravlév. Ob otdélimosti podmnožéstv vérših n-mérnogo édiničnogo kuba. Doklady Akadémii Nauk SSSR, vol. 113 (1957), pp. 264–267. - Iu. I. Zhuravlev. On the separability of subsets of the vertices of an n-dimensional unit cube. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1958, 6 pp.

10.2307/2964791 ◽

1959 ◽

Vol 24 (2) ◽

pp. 188-189

Author(s):

Richard C. Jeffrey

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Unit Cube ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Dimensional Unit

M. A. Spivak. Algoritm abstraktnogo sintéza avtomatov dla rasširènnogo ázyka régulàrnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, téhničéskaá kibérnétika, no. 1 (1965), pp. 51–57. - M. A. Spivak. Algorithm for abstract synthesis of automata for an expanded language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 1 (1965), pp. 43–49.

10.2307/2272791 ◽

1972 ◽

Vol 37 (3) ◽

pp. 620-620

Author(s):

J. A. Brzozowski

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Regular Expressions ◽

Akademii Nauk Sssr

G. É. Minc. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 783–786. - G. É. Minc. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by R. N. Goss. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1712–1715.

10.2307/2269979 ◽

1971 ◽

Vol 36 (3) ◽

pp. 524-525 ◽

Cited By ~ 2

Author(s):

J. van Heijenoort

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Predicate Calculus ◽

Akademii Nauk Sssr ◽

Ú. V. Matiásévič. Diofantovo prédstavlénié množéstva prostyh čisél. Doklady Akadémii Nauk SSSR, vol. 196 (1971), 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 (1971), pp. 249–254.

10.2307/2272767 ◽

1972 ◽

Vol 37 (3) ◽

pp. 607-607

Author(s):

Ann S. Ferebee

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Prime Numbers ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Diophantine Representation

S. Ú. Maslov. О strogoj prédstavimosti množéstv isčisléniámi. Doklady Akadémii Nauk SSSR, Vol. 152 (1963), 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 (1964), pp. 1292–1295.

10.2307/2270787 ◽

1967 ◽

Vol 32 (3) ◽

pp. 391-392

Author(s):

E. M. Fels

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 814–817.

10.2307/2273075 ◽

1973 ◽

Vol 38 (3) ◽

pp. 527-527

Author(s):

Richard E. Ladner

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

A. I. Mal′cév. Nérazréšimost′ eléméntarnoj téorii konéčnyh grupp. Doklady Akadémii Nauk SSSR, vol. 138 (1961), pp. 771–774. - A. I. Mal′cev. Undecidability of the elementary theory of finite groups. English translation of the preceding by A. J. Lohwater. Soviet mathematics, vol. 2 no. 3 (1961), pp. 714–717.

10.2307/2269677 ◽

1965 ◽

Vol 30 (3) ◽

pp. 394-394

Author(s):

Verena H. Dyson

Keyword(s):

Finite Groups ◽

English Translation ◽

Elementary Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 (for 1972, pub. 1973), pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 (1974), pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 (1974), pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 (1975), pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 (1976), pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 (1977), pp. 985–989. (English translation by B. F. Wells of O népolnyh logikah vyskazyvanij, Doklady Akadémii Nauk SSSR, vol. 235 (1977), pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 (1978), pp. 25–37. - J. F. A. K. van Benthem and W. J. Blok. Transitivity follows from Dummett's axiom. Theoria, vol. 44 (1978), pp. 117–118. - J. F. A. K. van Benthem. Syntactic aspects of modal incompleteness theorems. Theoria, vol. 44 (1978), vol. 45 (1979). pp. 63–77.

10.2307/2273568 ◽

1983 ◽

Vol 48 (2) ◽

pp. 488-495 ◽

Cited By ~ 2

Author(s):

R. A. Bull

Keyword(s):

Modal Logic ◽

English Translation ◽

Nauk Sssr ◽

Symbolic Logic ◽

Relational Semantics ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Propositional Modal Logic ◽

Relational Frame ◽

Incompleteness Theorems

V. I. Šéstakov. 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, Moscow1960, pp. 341–376. - V. I. Šestakov. 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 Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 45–72.

10.2307/2272590 ◽

1972 ◽

Vol 37 (1) ◽

pp. 187-187

Author(s):

Alan Rose

Keyword(s):

English Translation ◽

Nauk Sssr ◽

American Mathematical Society ◽

Propositional Calculus ◽

Mathematical Society ◽

Akademii Nauk Sssr ◽

Contact Networks ◽

Relay Contact