RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки

Матем. заметки, 1988, том 44, выпуск 6, страницы 823–832 (Mi mzm4205)

Об алгоритмической сложности алгебраических систем
В. Л. Селиванов

Эта публикация цитируется в следующих статьяx:
  1. Nikolay Bazhenov, Manat Mustafa, “Computable embeddability for algebraic structures”, Asian-European J. Math., 15:07 (2022)  crossref
  2. Victor Selivanov, Trends in Logic, 53, Well-Quasi Orders in Computation, Logic, Language and Reasoning, 2020, 271  crossref
  3. Nikolay Bazhenov, Ekaterina Fokina, Luca San Mauro, “Learning families of algebraic structures from informant”, Information and Computation, 275 (2020), 104590  crossref
  4. В. Л. Селиванов, “Предполные нумерации”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 106–134  mathnet  mathscinet; V. L. Selivanov, “Precomplete numberings”, J. Math. Sci. (N. Y.), 256:1 (2021), 96–124  crossref
  5. И. Ш. Калимуллин, В. Л. Селиванов, А. Н. Фролов, “Спектры степеней структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158, ВИНИТИ РАН, М., 2018, 23–39  mathnet  mathscinet; I. Sh. Kalimullin, V. L. Selivanov, A. N. Frolov, “Degree spectra of structures”, J. Math. Sci. (N. Y.), 256:2 (2021), 143–159  crossref
  6. Н. А. Баженов, А. Н. Фролов, И. Ш. Калимуллин, А. Г. Мельников, “Вычислимость дистрибутивных решеток”, Сиб. матем. журн., 58:6 (2017), 1236–1251  mathnet  crossref  elib; N. A. Bazhenov, A. N. Frolov, I. Sh. Kalimullin, A. G. Melnikov, “Computability of distributive lattices”, Siberian Math. J., 58:6 (2017), 959–970  crossref  isi
  7. N. A. Bazhenov, “Effective categoricity for distributive lattices and Heyting algebras”, Lobachevskii J Math, 38:4 (2017), 600  crossref
  8. Victor Selivanov, “On recursively enumerable structures”, Annals of Pure and Applied Logic, 78:1-3 (1996), 243  crossref


© МИАН, 2026