Loading [MathJax]/jax/output/CommonHTML/jax.js
Математические заметки
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Матем. заметки:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Математические заметки, 1988, том 44, выпуск 6, страницы 823–832 (Mi mzm4205)  
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)

Об алгоритмической сложности алгебраических систем

В. Л. Селиванов
PDF полного текста (861 kB) Список цитирования (8)
Аннотация: В работе вводятся и изучаются понятия, позволяющие измерять сложность алгебраических систем. Установлена связь этих понятий с понятием относительно элементарной определимости. Построена рекурсивно перечислимая дистрибутивная решетка наибольшей сложности. Найдена сложность полурешетки рекурсивно перечислимых m-степеней и решетки рекурсивно перечислимых множеств. Доказано, что любая Σ02-булева алгебра изоморфна факторизации подходящей рекурсивной булевой алгебры по идеалу Фреше. Библиогр. 9 назв.
Поступило: 30.06.1986
Англоязычная версия:
Mathematical Notes, 1988, Volume 44, Issue 6, Pages 944–950
DOI: https://doi.org/10.1007/BF01158034
Реферативные базы данных:
УДК: 510.5
Образец цитирования: В. Л. Селиванов, “Об алгоритмической сложности алгебраических систем”, Матем. заметки, 44:6 (1988), 823–832; Math. Notes, 44:6 (1988), 944–950
Цитирование в формате AMSBIB
\RBibitem{Sel88}
\by В.~Л.~Селиванов
\paper Об алгоритмической сложности алгебраических систем
\jour Матем. заметки
\yr 1988
\vol 44
\issue 6
\pages 823--832
\mathnet{http://mi.mathnet.ru/mzm4205}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=983554}
\zmath{https://zbmath.org/?q=an:0675.03026|0664.03032}
\transl
\jour Math. Notes
\yr 1988
\vol 44
\issue 6
\pages 944--950
\crossref{https://doi.org/10.1007/BF01158034}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1988AJ33300024}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm4205
  • https://www.mathnet.ru/rus/mzm/v44/i6/p823
    • Эта публикация цитируется в следующих 8 статья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
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Статистика просмотров:
    Страница аннотации:246
    PDF полного текста:107
    Первая страница:3
     
      Обратная связь:
    math-net2025_04@mi-ras.ru     		 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025