A. Mal'cév. Ob odnom obščém métodé polučéniá lokal'nyh téorém téorii grupp (On a general method for obtaining local theorems in group theory). Ivanovskij Gosudarstvénnyj Pédagogičéskij Institut, Učényé zapiski, Fiziko-matématičéskié nauki, vol. 1 no. 1 (1941), pp. 3–9. - A. I. Mal'cév. O prédstavléniáh modéléj (On representations of models). Doklady Akadémii Nauk SSSR, vol. 108 (1956), pp. 27–29.

Leon Henkin; Andrzej Mostowski

doi:10.2307/2964581

A. Mal'cév. Ob odnom obščém métodé polučéniá lokal'nyh téorém téorii grupp (On a general method for obtaining local theorems in group theory). Ivanovskij Gosudarstvénnyj Pédagogičéskij Institut, Učényé zapiski, Fiziko-matématičéskié nauki, vol. 1 no. 1 (1941), pp. 3–9. - A. I. Mal'cév. O prédstavléniáh modéléj (On representations of models). Doklady Akadémii Nauk SSSR, vol. 108 (1956), pp. 27–29.

Journal of Symbolic Logic ◽

10.2307/2964581 ◽

1959 ◽

Vol 24 (1) ◽

pp. 55-57 ◽

Cited By ~ 7

Author(s):

Leon Henkin ◽

Andrzej Mostowski

Keyword(s):

Group Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

General Method

Download Full-text

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.

Journal of Symbolic Logic ◽

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 ◽

Doklady Akademii Nauk Sssr

Download Full-text

Petr Vopěnka. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá (A method of constructing a non-standard model for the axiomatic set theory of Bernays-Gödel). Doklady Akadémii Nauk SSSR, vol. 143 (1962), pp. 11–12. - Petr Vopěnka. Postroénié modéléj téorii množéstv métodom spéktra (Konstruktion von Modellen der Mengenlehre mit der Methode der Spektren). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 149–160. - Petr Vopěnka. Eléméntarnyé pondtiá v téorii množéstv (Elementare Begriffe in der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 161–167. - Petr Vopěnka. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv (Konstruktion von nichtregulären Nichtstandardmodellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 229–233. - Petr Vopěnka. Podmodéli modéléj téorii množéstv (Teilmodelle von Modellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 163–172.

Journal of Symbolic Logic ◽

10.2307/2270736 ◽

1970 ◽

Vol 35 (3) ◽

pp. 470-472

Author(s):

Andrzej Mostowski

Keyword(s):

Standard Model ◽

Set Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Axiomatic Set Theory

Download Full-text

Ú. 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.

Journal of Symbolic Logic ◽

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

Download Full-text

V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktnyh shém (Equivalent transformations of contact circuits). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 262–265.

Journal of Symbolic Logic ◽

10.2307/2269783 ◽

1964 ◽

Vol 29 (1) ◽

pp. 52-52

Author(s):

Andrzej Blikle

Keyword(s):

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

Download Full-text

G. N. Povarov. Matématičskaá téoriá sintéza kontaktnyh (1, k)-polúsnikov (Mathematical theory of the synthesis of (1, k)-terminal relay-contact networks). Doklady Akadémii Nauk SSSR, vol. 100 (1955), pp. 909–912.

Journal of Symbolic Logic ◽

10.2307/2269148 ◽

1956 ◽

Vol 21 (3) ◽

pp. 332-332

Author(s):

Zdzisław Pawlak

Keyword(s):

Mathematical Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Contact Networks ◽

Relay Contact ◽

Doklady Akademii Nauk Sssr

Download Full-text

S. V. Áblonskij. Réalizaciá linéjnoj funkcii v klassé Π-shém (Realization of a linear function in the class of Π-circuits). Doklady Akadémii Nauk SSSR, vol. 94 (1954) pp. 805–806.

Journal of Symbolic Logic ◽

10.2307/2268533 ◽

1956 ◽

Vol 21 (1) ◽

pp. 102-102

Author(s):

Andrzej Mostowski

Keyword(s):

Linear Function ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

Download Full-text

A. S. Ésénin-Vol′pin. Nédokazuémost′ gipotézy Suslina bez pomošči aksiomy vybora v sistémé aksiom Bérnajsa-Mostovskogo (The unprovability of Suslin's hypothesis without the aid of the axiom of choice in the system of axioms of Bernays-Mostowski). Doklady Akadémii Nauk SSSR, vol. 96 (1954), pp. 9–12.

Journal of Symbolic Logic ◽

10.2307/2266934 ◽

1955 ◽

Vol 20 (2) ◽

pp. 181-182

Author(s):

Andrzej Mostowski

Keyword(s):

Nauk Sssr ◽

Axiom Of Choice ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

The Axiom Of Choice

Download Full-text

A. I. Mal'cév. Kvaziprimitivnyé klassy abstraktnyh algébr (Quasi-primitive classes of abstract algebras). Doklady Akadémii Nauk SSSR, vol. 108 (1956), pp. 187–189.

Journal of Symbolic Logic ◽

10.2307/2964583 ◽

1959 ◽

Vol 24 (1) ◽

pp. 57-57

Author(s):

Andrzej Mostowski

Keyword(s):

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

Download Full-text

Ú. T. Médvédév. O néizornorfnyh rékursivno-péréčislimyh množéstvah (On non-isomorphic recursively enumerable sets). Doklady Akadémii Nauk SSSR, vol. 102 (1955), pp. 211–214.

Journal of Symbolic Logic ◽

10.2307/2268531 ◽

1956 ◽

Vol 21 (1) ◽

pp. 101-102

Author(s):

Andrzej Mostowski

Keyword(s):

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Recursively Enumerable ◽

Recursively Enumerable Sets

Download Full-text

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.

Journal of Symbolic Logic ◽

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 ◽

Doklady Akademii Nauk Sssr

Download Full-text