Sapir, M. V. Essentially nonfinitely based finite semigroups. (Russian) Zbl 0634.20027 Mat. Sb., N. Ser. 133(175), No. 2(6), 154-166 (1987). Reviewer: I.Peák MSC: 20M05 20M07 03D50 PDFBibTeX XMLCite \textit{M. V. Sapir}, Mat. Sb., Nov. Ser. 133(175), No. 2(6), 154--166 (1987; Zbl 0634.20027) Full Text: EuDML
Muravitskij, A. Yu. Algebraic proof of the separation property for the proof-intuitionistic calculus. (Russian) Zbl 0621.03010 Mat. Sb., N. Ser. 131(173), No. 3(11), 403-412 (1986). MSC: 03B45 03G25 PDFBibTeX XMLCite \textit{A. Yu. Muravitskij}, Mat. Sb., Nov. Ser. 131(173), No. 3(11), 403--412 (1986; Zbl 0621.03010) Full Text: EuDML
Anshakov, O. M.; Rychkov, S. V. On axiomatization of finite-valued logical calculi. (Russian) Zbl 0551.03015 Mat. Sb., N. Ser. 123(165), No. 4, 477-495 (1984). Reviewer: A.S.Karpenko MSC: 03B50 PDFBibTeX XMLCite \textit{O. M. Anshakov} and \textit{S. V. Rychkov}, Mat. Sb., Nov. Ser. 123(165), No. 4, 477--495 (1984; Zbl 0551.03015) Full Text: EuDML
Vazhenin, Yu. M.; Rozenblat, B. V. Solvability of the positive theory of free countably generated semigroups. (Russian) Zbl 0472.20020 Mat. Sb., N. Ser. 116(158), 120-127 (1981). MSC: 20M05 03B25 PDFBibTeX XMLCite \textit{Yu. M. Vazhenin} and \textit{B. V. Rozenblat}, Mat. Sb., Nov. Ser. 116(158), 120--127 (1981; Zbl 0472.20020) Full Text: EuDML
Degtev, A. N. On the reducibility of numerations. (Russian) Zbl 0449.03037 Mat. Sb., N. Ser. 112(154), 207-219 (1980). MSC: 03D45 03D30 PDFBibTeX XMLCite \textit{A. N. Degtev}, Mat. Sb., Nov. Ser. 112(154), 207--219 (1980; Zbl 0449.03037) Full Text: EuDML
Gorlov, V. V. Eine hinreichende Bedingung, bei der abgeschlossene Klassen der k- wertigen Logik nur triviale Kongruenzen besitzen. (Russian) Zbl 0434.03019 Mat. Sb., N. Ser. 110(152), 551-578 (1979). MSC: 03B50 PDFBibTeX XMLCite \textit{V. V. Gorlov}, Mat. Sb., Nov. Ser. 110(152), 551--578 (1979; Zbl 0434.03019) Full Text: EuDML
Lisagor, L. R. Das Banach-Mazursche Spiel. (Russian) Zbl 0429.90102 Mat. Sb., N. Ser. 110(152), 218-234 (1979). MSC: 91A99 03E15 PDFBibTeX XMLCite \textit{L. R. Lisagor}, Mat. Sb., Nov. Ser. 110(152), 218--234 (1979; Zbl 0429.90102)
Lisagor, L. R. The Banach-Mazur game. (Russian) Zbl 0426.03044 Mat. Sb., N. Ser. 110(152), 218-234 (1979). MSC: 03D20 91A44 91A05 PDFBibTeX XMLCite \textit{L. R. Lisagor}, Mat. Sb., Nov. Ser. 110(152), 218--234 (1979; Zbl 0426.03044) Full Text: EuDML
Polyakov, E. A.; Rozinas, M. G. Beziehungen zwischen verschiedenen Arten der relativen Berechenbarkeit von Funktionen. (Russian) Zbl 0412.03022 Mat. Sb., N. Ser. 107(149), 134-145 (1978). MSC: 03D20 03D30 03D60 PDFBibTeX XMLCite \textit{E. A. Polyakov} and \textit{M. G. Rozinas}, Mat. Sb., Nov. Ser. 107(149), 134--145 (1978; Zbl 0412.03022)
Kobzev, G. N. On tt-degrees of recursively enumerable Turing degrees. (Russian) Zbl 0386.03022 Mat. Sb., N. Ser. 106(148), 507-514 (1978). MSC: 03D25 PDFBibTeX XMLCite \textit{G. N. Kobzev}, Mat. Sb., Nov. Ser. 106(148), 507--514 (1978; Zbl 0386.03022)
Parovicenko, I. I. Über gewisse Fragen, die mit der Iteration mengentheoretischer Operationen zusammenhängen. (Russian) Zbl 0384.04002 Mat. Sb., N. Ser. 106(148), 265-295 (1978). MSC: 03E15 03E20 03G25 18B05 PDFBibTeX XMLCite \textit{I. I. Parovicenko}, Mat. Sb., Nov. Ser. 106(148), 265--295 (1978; Zbl 0384.04002)
Makanin, G. S. Das Problem der Lösbarkeit von Gleichungen in einer freien Halbgruppe. (Russian) Zbl 0371.20047 Mat. Sb., N. Ser. 103(145), 147-236 (1977). MSC: 20M05 68W99 03B25 PDFBibTeX XMLCite \textit{G. S. Makanin}, Mat. Sb., Nov. Ser. 103(145), 147--236 (1977; Zbl 0371.20047)
Marcenkov, S. S. Über rekursiv aufzählbare minimale btt-Potenzen. (Russian) Zbl 0364.02026 Mat. Sb., N. Ser. 103(145), 550-562 (1977). MSC: 03D30 PDFBibTeX XMLCite \textit{S. S. Marcenkov}, Mat. Sb., Nov. Ser. 103(145), 550--562 (1977; Zbl 0364.02026)
Tsitkin, A. I. Über zulässige Regeln der intuitionistischen Aussagenlogik. (Russian) Zbl 0355.02016 Mat. Sb., N. Ser. 102(144), 314-323 (1977). MSC: 03B55 PDFBibTeX XMLCite \textit{A. I. Tsitkin}, Mat. Sb., Nov. Ser. 102(144), 314--323 (1977; Zbl 0355.02016)
Sobolev, S. K. Über finite Approximierbarkeit superintuitionistischer Logiken. (Russian) Zbl 0352.02020 Mat. Sb., N. Ser. 102(144), 289-301 (1977). MSC: 03B55 03F55 PDFBibTeX XMLCite \textit{S. K. Sobolev}, Mat. Sb., Nov. Ser. 102(144), 289--301 (1977; Zbl 0352.02020) Full Text: EuDML
Fedorchuk, V. V. Total abgeschlossene Abbildungen und die Verträglichkeit gewisser Sätze der allgemeinen Topologie mit Axiomen der Mengenlehre. (Russian) Zbl 0357.54018 Mat. Sb., N. Ser. 99(141), 3-33 (1976). MSC: 54D30 03E30 03E10 PDFBibTeX XMLCite \textit{V. V. Fedorchuk}, Mat. Sb., Nov. Ser. 99(141), 3--33 (1976; Zbl 0357.54018)
Dyment, E. Z. On some properties of the Medvedev lattice. (Russian) Zbl 0353.02019 Mat. Sb., N. Ser. 101(143), 360-379 (1976). MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{E. Z. Dyment}, Mat. Sb., Nov. Ser. 101(143), 360--379 (1976; Zbl 0353.02019) Full Text: EuDML
Belyakin, N. V. Iterated Kleene computability and superjump. (Russian) Zbl 0342.02031 Mat. Sb., N. Ser. 101(143), 21-43 (1976). MSC: 03D55 03D25 03D60 PDFBibTeX XMLCite \textit{N. V. Belyakin}, Mat. Sb., Nov. Ser. 101(143), 21--43 (1976; Zbl 0342.02031) Full Text: EuDML
Lender, V. B. Letter to the editor. (Russian) Zbl 0335.06003 Mat. Sb., N. Ser. 99(141), 477 (1976). MSC: 06B05 08B99 03D80 PDFBibTeX XMLCite \textit{V. B. Lender}, Mat. Sb., Nov. Ser. 99(141), 477 (1976; Zbl 0335.06003) Full Text: EuDML
Pasenkov, V. V. Boolean models and some of their applications. (Russian) Zbl 0316.06009 Mat. Sb., N. Ser. 97(139), 3-34 (1975). MSC: 06D05 06E05 03C68 03G05 PDFBibTeX XMLCite \textit{V. V. Pasenkov}, Mat. Sb., Nov. Ser. 97(139), 3--34 (1975; Zbl 0316.06009) Full Text: EuDML
Tajtslin, M. A. Über das Isomorphismusproblem für kommutative Halbgruppen. (Russian) Zbl 0294.20054 Mat. Sb., N. Ser. 93(135), 103-128 (1974). MSC: 20M05 03D99 20A10 PDFBibTeX XMLCite \textit{M. A. Tajtslin}, Mat. Sb., Nov. Ser. 93(135), 103--128 (1974; Zbl 0294.20054)
Salii, V. N. Boole-wertige Algebren. (Russian) Zbl 0286.08006 Mat. Sb., N. Ser. 92(134), 550-563 (1973). MSC: 08Axx 03C68 03G05 PDFBibTeX XMLCite \textit{V. N. Salii}, Mat. Sb., Nov. Ser. 92(134), 550--563 (1973; Zbl 0286.08006)
Osipova, V. A. Algorithmus der Erkennung der Lösbarkeit von Gleichungen mit einer Unbekannten in Halbgruppen mit einem Überlappungsmaß der definierenden Wörter, das kleiner als 1/3 ist. (Russian) Zbl 0284.20060 Mat. Sb., N. Ser. 92(134), 3-33 (1973). MSC: 20M05 03D40 68W99 PDFBibTeX XMLCite \textit{V. A. Osipova}, Mat. Sb., Nov. Ser. 92(134), 3--33 (1973; Zbl 0284.20060)
Glukhov, M. M. Freie Zerlegungen und algorithmische Probleme in R-Mannigfaltigkeiten universeller Algebren. (Russian) Zbl 0245.08002 Mat. Sb., N. Ser. 85(127), 307-338 (1971). MSC: 08B99 08Axx 03D40 PDFBibTeX XMLCite \textit{M. M. Glukhov}, Mat. Sb., Nov. Ser. 85(127), 307--338 (1971; Zbl 0245.08002)
Bochvar, D. A. Antinomies based on sets of definitons of predicates, each individually consistent. (Über Antimonien, die auf Gruppen von Prädikatendefinitionen beruhen, von denen jede einzeln widerspruchsfrei ist.) (Russian) Zbl 0114.24602 Mat. Sb., N. Ser. 52(94), 641-646 (1960). Reviewer: E. Burger MSC: 03-XX PDFBibTeX XMLCite \textit{D. A. Bochvar}, Mat. Sb., Nov. Ser. 52(94), 641--646 (1960; Zbl 0114.24602)
Lyapunov, A. A. Über die Klassifikation der \(R\)-Mengen. (Russian) Zbl 0050.05503 Mat. Sb., Nov. Ser. 32(74), 255-262 (1953). Reviewer: G. Kurepa MSC: 03Exx PDFBibTeX XMLCite \textit{A. A. Lyapunov}, Mat. Sb., Nov. Ser. 32(74), 255--262 (1953; Zbl 0050.05503)
Markov, A. A. On unsolvable algorithmic problems. (Über unlösbare algorithmische Probleme.) (Russian) Zbl 0048.00302 Mat. Sb., N. Ser. 31(73), 34-42 (1952). Reviewer: J. C. Shepherdson MSC: 03-XX PDFBibTeX XMLCite \textit{A. A. Markov}, Mat. Sb., Nov. Ser. 31(73), 34--42 (1952; Zbl 0048.00302) Full Text: EuDML MNR
Taĭmanov, A. D. Über die Quasikomponenten unzusammenhängender Mengen. II. (Russian) Zbl 0047.05801 Mat. Sb., N. Ser. 30(72), 465-482 (1952). MSC: 03Exx PDFBibTeX XMLCite \textit{A. D. Taĭmanov}, Mat. Sb., Nov. Ser. 30(72), 465--482 (1952; Zbl 0047.05801)
Taĭmanov, A. D. Über Quasikomponenten nicht zusammenhängender Mengen. (Russian) Zbl 0037.03504 Mat. Sb., N. Ser. 25(67), 367-386 (1949). MSC: 03Exx PDFBibTeX XMLCite \textit{A. D. Taĭmanov}, Mat. Sb., Nov. Ser. 25(67), 367--386 (1949; Zbl 0037.03504)
Liapounoff, A. Sur les ensembles projectifs, qui admettent des décompositions régulières. (Russian. French summary) Zbl 0032.14802 Mat. Sb., N. Ser. 20(62), 179-196 (1947). MSC: 03Exx PDFBibTeX XMLCite \textit{A. Liapounoff}, Mat. Sb., Nov. Ser. 20(62), 179--196 (1947; Zbl 0032.14802)