A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 (1956), pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj (Note on the proof of the existence of standard models). Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236.

Elliott Mendelson

doi:10.2307/2270213

A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 (1956), pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj (Note on the proof of the existence of standard models). Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236.

Journal of Symbolic Logic ◽

10.2307/2270213 ◽

1968 ◽

Vol 32 (4) ◽

pp. 531-532

Author(s):

Elliott Mendelson

Keyword(s):

Set Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Standard Models ◽

Axiomatic Set Theory

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

B. A. Trahténbrot. Oprédélénié konečnogo množéstva i deduktivnaá népolnota téorii množéstv (The definition of a finite set and the deductive incompleteness of set theory). Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 20 (1956), pp. 569–582.

Journal of Symbolic Logic ◽

10.2307/2964147 ◽

1962 ◽

Vol 27 (2) ◽

pp. 236-237

Author(s):

Andrzej Mostowski

Keyword(s):

Set Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Finite Set ◽

Definition Of

M. I. Slukhovskii. Russkaia biblioteka XVI–XVII vv. [The Russian Library in the 16th and 17th Centuries] Moscow: Izdatel'stvo “Kniga.” 1973. Pp. 252 and S. P. Luppov. Knigd v Rossii v pervoi chetverti XVIII veka [The Book in Russia in the First Quarter of the 18th Century]. (Akademiia Nauk SSSR, Ordena Trudovogo Krasnogo Znameni Biblioteka Akademii Nauk SSSR.) Leningrad: Izdatel'stvo “Nauka.” 1973. Pp. 372

The American Historical Review ◽

10.1086/ahr/81.1.183-a ◽

1976 ◽

Keyword(s):

18Th Century ◽

Nauk Sssr ◽

Akademii Nauk Sssr

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

Gerald E. Sacks. Forcing with perfect closed sets. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 331–355.

Journal of Symbolic Logic ◽

10.2307/2272651 ◽

1974 ◽

Vol 39 (2) ◽

pp. 330-330

Author(s):

J. R. Shoenfield

Keyword(s):

Rhode Island ◽

Set Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Closed Sets ◽

Sacks Forcing ◽

Pure Mathematics ◽

Axiomatic Set Theory

N. N. Vorob′év. Novyj algorifm vyvodimosti v konstruktivnom isčislénii uyskazyvanij (A new algorithm of deducibility in the constructive propositional calculus). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 193–225.

Journal of Symbolic Logic ◽

10.2307/2270438 ◽

1964 ◽

Vol 29 (2) ◽

pp. 109-109

Author(s):

E. M. Fels

Keyword(s):

Nauk Sssr ◽

Propositional Calculus ◽

Akademii Nauk Sssr

Elliott Mendelson. Some proofs of independence in axiomatic set theory. The journal of symbolic logic, vol. 21 (1956), pp. 291–303. - Elliott Mendelson. The independence of a weak axiom of choice. The journal of symbolic logic, pp. 350–366.

Journal of Symbolic Logic ◽

10.2307/2964475 ◽

1958 ◽

Vol 23 (1) ◽

pp. 42-44

Author(s):

Dana Scott

Keyword(s):

Set Theory ◽

Axiom Of Choice ◽

Symbolic Logic ◽

Axiomatic Set Theory ◽

Weak Axiom

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

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

Ocherki po istorii russkikh geograficheskikh otkrytiy (Studies in the history of Russian geographical discoveries). By L. S. Berg. Moscow, Leningrad (Izdatel'stvo Akademii Nauk SSSR [Publishing House of the Academy of Sciences of the USSR]) 1946. 8vo. Pp. 358; illustrations and maps. 23 roubles

Quarterly Journal of the Royal Meteorological Society ◽

10.1002/qj.49707632719 ◽

1950 ◽

Vol 76 (327) ◽

pp. 111-111

Keyword(s):

Publishing House ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

History Of ◽

Academy Of Sciences