Smirnov, D. M. Arithmetic interpretability types of varieties and some additive problems with primes. (Russian, English) Zbl 1103.08006 Algebra Logika 44, No. 5, 622-630 (2005); translation in Algebra Logic 44, No. 5, 348-352 (2005). MSC: 08B15 PDFBibTeX XMLCite \textit{D. M. Smirnov}, Algebra Logika 44, No. 5, 622--630 (2005; Zbl 1103.08006); translation in Algebra Logic 44, No. 5, 348--352 (2005) Full Text: DOI
Smirnov, D. M. Lattices of interpretability types of varieties. (Russian, English) Zbl 1103.08005 Algebra Logika 44, No. 2, 198-210 (2005); translation in Algebra Logic 44, No. 2, 109-116 (2005). MSC: 08B15 PDFBibTeX XMLCite \textit{D. M. Smirnov}, Algebra Logika 44, No. 2, 198--210 (2005; Zbl 1103.08005); translation in Algebra Logic 44, No. 2, 109--116 (2005) Full Text: DOI
Smirnov, D. M. The lattice of interpretability types of Cantor varieties. (Russian, English) Zbl 1115.08008 Algebra Logika 43, No. 4, 445-458 (2004); translation in Algebra Logic 43, No. 4, 249-257 (2004). MSC: 08B15 PDFBibTeX XMLCite \textit{D. M. Smirnov}, Algebra Logika 43, No. 4, 445--458 (2004; Zbl 1115.08008); translation in Algebra Logic 43, No. 4, 249--257 (2004) Full Text: DOI
Smirnov, D. M. Interpretability types for regular varieties of algebras. (Russian, English) Zbl 1115.08007 Algebra Logika 43, No. 2, 229-234 (2004); translation in Algebra Logic 43, No. 2, 128-131 (2004). MSC: 08B15 PDFBibTeX XMLCite \textit{D. M. Smirnov}, Algebra Logika 43, No. 2, 229--234 (2004; Zbl 1115.08007); translation in Algebra Logic 43, No. 2, 128--131 (2004) Full Text: DOI
Smirnov, D. M. Interpretability of the Cantor varieties. (English. Russian original) Zbl 0849.08007 Algebra Logic 34, No. 4, 258-262 (1995); translation from Algebra Logika 34, No. 4, 464-471 (1995). Reviewer: J.Duda (Brno) MSC: 08B05 03C05 PDFBibTeX XMLCite \textit{D. M. Smirnov}, Algebra Logic 34, No. 4, 258--262 (1995; Zbl 0849.08007); translation from Algebra Logika 34, No. 4, 464--471 (1995) Full Text: DOI EuDML