Semenov, A. L.; Soprunov, S. F. The lattice of definability: origins, recent developments, and further directions. (English. Russian original) Zbl 07728611 Dokl. Math. 106, Part Suppl. 2, S288-S298 (2022); translation from Chebyshevskiĭ Sb. 22, No. 1(77), 304-327 (2021). MSC: 03C40 03C10 PDFBibTeX XMLCite \textit{A. L. Semenov} and \textit{S. F. Soprunov}, Dokl. Math. 106, Part Suppl. 2, S288--S298 (2022; Zbl 07728611); translation from Chebyshevskiĭ Sb. 22, No. 1(77), 304--327 (2021) Full Text: DOI
Semenov, Alekseĭ L’vovich; Soprunov, Sergeĭ Fedorovich The lattice of definability. Origins and directions of research. (Russian. English summary) Zbl 1515.03152 Chebyshevskiĭ Sb. 22, No. 1(77), 304-327 (2021); translation in Dokl. Math. 106, Suppl. 2, S288-S298 (2022). MSC: 03C40 03C10 PDFBibTeX XMLCite \textit{A. L. Semenov} and \textit{S. F. Soprunov}, Chebyshevskiĭ Sb. 22, No. 1(77), 304--327 (2021; Zbl 1515.03152); translation in Dokl. Math. 106, Suppl. 2, S288--S298 (2022) Full Text: MNR
Semenov, A. L.; Soprunov, S. F. A combinatorial version of the Svenonius theorem on definability. (English) Zbl 1405.03076 Log. J. IGPL 23, No. 6, 966-975 (2015). MSC: 03C40 03C60 20B07 PDFBibTeX XMLCite \textit{A. L. Semenov} and \textit{S. F. Soprunov}, Log. J. IGPL 23, No. 6, 966--975 (2015; Zbl 1405.03076) Full Text: DOI arXiv
Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir The lattice of definability. Origins, recent developments, and further directions. (English) Zbl 1433.03073 Hirsch, Edward A. (ed.) et al., Computer science – theory and applications. 9th international computer science symposium in Russia, CSR 2014, Moscow, Russia, June 7–11, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8476, 23-38 (2014). MSC: 03C40 03C10 PDFBibTeX XMLCite \textit{A. Semenov} et al., Lect. Notes Comput. Sci. 8476, 23--38 (2014; Zbl 1433.03073) Full Text: DOI