Алгебра и логика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

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

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



Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти






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


Алгебра и логика, 1995, том 34, номер 6, страницы 667–680 (Mi al2332)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Рекурсивно несовместные алгоритмические проблемы на $1$-конструктивизируемых дистрибутивных решетках с относительными дополнениями

С. Т. Федоряев

Институт математики Сибирского отделения Российской академии наук, г. Новосибирск
Аннотация: Для произвольной $1$-конструктивизируемой дистрибутивной решетки $\mathfrak{A}$ с относительными дополнениями и бесконечным множеством атомов строится вычислимое семейство $\Omega$ алгоритмических $\sigma_2^r$-проблем на $\mathfrak{A}$, каждая из которых разрешима при подходящей конструктивизаций решетки $\mathfrak{A}$, но при любой конструктивизации произвольные две алгоритмические проблемы из $\Omega$ не могут быть одновременно разрешимы. Тем самым для $1$-конструктивизируемых дистрибутивных решеток с относительными дополнениями получается решение проблем спектра и соотношений алгоритмических размерностей и находятся критерии существования наименьшего элемента в структуре алгебраической сводимости и алгебраические условия решения задачи эффективного выбора конструктивизаций по спецификациям проблем.
Поступило: 29.06.1994
Англоязычная версия:
Algebra and Logic
DOI: https://doi.org/10.1007/BF00739333
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.53:510.67
Образец цитирования: С. Т. Федоряев, “Рекурсивно несовместные алгоритмические проблемы на $1$-конструктивизируемых дистрибутивных решетках с относительными дополнениями”, Алгебра и логика, 34:6 (1995), 667–680
Цитирование в формате AMSBIB
\RBibitem{Fed95}
\by С.~Т.~Федоряев
\paper Рекурсивно несовместные алгоритмические проблемы на $1$-конструктивизируемых дистрибутивных решетках с относительными дополнениями
\jour Алгебра и логика
\yr 1995
\vol 34
\issue 6
\pages 667--680
\mathnet{http://mi.mathnet.ru/al2332}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1400708}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2332
  • https://www.mathnet.ru/rus/al/v34/i6/p667
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024