Andreev, A. E. A method for obtaining efficient lower bounds for monotone complexity. (English. Russian original) Zbl 0659.94020 Algebra Logic 26, No. 1, 1-18 (1987); translation from Algebra Logika 26, No. 1, 3-26 (1987). MSC: 94C10 68Q25 PDFBibTeX XMLCite \textit{A. E. Andreev}, Algebra Logic 26, No. 1, 1--18 (1987; Zbl 0659.94020); translation from Algebra Logika 26, No. 1, 3--26 (1987) Full Text: DOI
Lisovik, L. P. Construction of decidable singular theories of two successor functions with an extra predicate. (English. Russian original) Zbl 0598.03008 Algebra Logic 23, 181-189 (1984); translation from Algebra Logika 23, No. 3, 266-277 (1984). MSC: 03B25 03D05 PDFBibTeX XMLCite \textit{L. P. Lisovik}, Algebra Logic 23, 181--189 (1984; Zbl 0598.03008); translation from Algebra Logika 23, No. 3, 266--277 (1984) Full Text: DOI EuDML
Popov, S. V. Nondecidable intermediate calculus. (English. Russian original) Zbl 0528.03028 Algebra Logic 20, 424-461 (1982); translation from Algebra Logika 20, 654-706 (1981). MSC: 03D35 03B55 03D03 PDFBibTeX XMLCite \textit{S. V. Popov}, Algebra Logic 20, 424--461 (1982; Zbl 0528.03028); translation from Algebra Logika 20, 654--706 (1981) Full Text: DOI EuDML
Marchenkov, S. S. A method for constructing maximal subalgebras of algebras of general recursive functions. (English. Russian original) Zbl 0431.03029 Algebra Logic 17, 383-392 (1979); translation from Algebra Logika 17, 581-595 (1978). MSC: 03D20 PDFBibTeX XMLCite \textit{S. S. Marchenkov}, Algebra Logic 17, 383--392 (1979; Zbl 0431.03029); translation from Algebra Logika 17, 581--595 (1978) Full Text: DOI EuDML