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 [Book Review]
Bulletin of Symbolic Logic 7 (4):536-537 (2001)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
O π-kharaktere i π-vese v bikompaktakh.B. E. Shapirovskii & A. West - 2001 - Bulletin of Symbolic Logic 7 (4):536-537.
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.
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.
Á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.
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.
A. V. Arkhangel′skiĭ. O moshchnosti bikompaktov c pervoĭ aksiomoĭ schetnosti. Dok-lady Akademii Nauk SSSR, vol. 187 , 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 , 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 , pp. 1245–1249. - Alan Dow. An introduction to applications of elementary submodels to topology. Topology proceedings , vol. 13 , pp. 17–72. [REVIEW]Zoltan T. Balogh - 2001 - Bulletin of Symbolic Logic 7 (4):537-537.
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.
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.
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.
A. D. Talancév. Ob analizé poténcial′no-impul′snyh shém pri pomošči spécial′nyh operátorov péréhoda. Doklady Akadémii Nauk SSSR, vol. 127 , pp. 320–323. - A. D. Talantsev. On the analysis of potential-pulse networks using special transition operators. English translation of the preceding. Automation express, vol. 2 , pp. 11–12. [REVIEW]Paweł Szeptycki - 1960 - Journal of Symbolic Logic 25 (3):302-302.
Žuravlév Ú. I.. Ob otdélimosti podmnožéstv vérših n-mérnogo édiničnogo kuba. Doklady Akadémii Nauk SSSR, vol. 113 , pp. 264–267.Zhuravlev Iu. I.. 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. [REVIEW]Richard C. Jeffrey - 1959 - Journal of Symbolic Logic 24 (2):188-189.
M. A. Gavrilov and V. A. Hvoščuk. Métod častičnoj invérsii v réléjnyh shémah. Doklady Akadémii Nauk SSSR, vol. 75 , pp. 685–687. - M. A. Gavrilov and V. A. Kvoshchuk. Partial inversion method of relay circuits. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 4 pp. [REVIEW]P. Szeptycki - 1959 - Journal of Symbolic Logic 24 (3):258-259.
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.
Mirkin B. G.. Novyj algoritm postroéniá bazisa v ázyké régularnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, Téchničeskaá Kibérnétika, no. 5 , pp. 113–119.Mirkin B. G.. An algorithm for constructing a base in a language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 5 , pp. 110–116. [REVIEW]J. A. Brzozowski - 1971 - Journal of Symbolic Logic 36 (4):694-694.
Analytics
Added to PP
2019-05-08
Downloads
10 (#889,868)
6 months
1 (#449,844)
2019-05-08
Downloads
10 (#889,868)
6 months
1 (#449,844)
Historical graph of downloads