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

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

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



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






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


Сибирские электронные математические известия, 2016, том 13, страницы 1035–1039
DOI: https://doi.org/10.17377/semi.2016.13.082
(Mi semr732)
 

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

Математическая логика, алгебра и теория чисел

Безатомные булевы алгебры, вычислимые за полиномиальное время

П. Е. Алаев

Sobolev Institute of Mathematics, pr. Koptyuga, 4, 630090, Novosibirsk, Russia
Список литературы:
Аннотация: We construct an example of atomless Boolean algebra $ {\mathfrak B} $, computable in polynomial time, that has no primitive recursive function $ f : B \to B $ such that $ 0 < f (a) < a $ for $ a \neq 0 $. In addition, we show that if two primitive recursive atomless Boolean algebras $ {\mathfrak B}_{1} $ and $ {\mathfrak B}_{2} $ have such functions, then there is an isomorphism $ g : {\mathfrak B}_{1} \to {\mathfrak B}_{2} $ such that $ g $ and $ g^{-1} $ are primitive recursive functions.
Ключевые слова: computable structure, Boolean algebra, primitive recursive structure, polynomial time computability, primitive recursive isomorphism.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-01-00376_а
Работа поддержана РФФИ (грант 14-01-00376).
Поступила 10 октября 2016 г., опубликована 22 ноября 2016 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.5, 512, 510.6
MSC: 03C57, 03D15, 06E99
Образец цитирования: П. Е. Алаев, “Безатомные булевы алгебры, вычислимые за полиномиальное время”, Сиб. электрон. матем. изв., 13 (2016), 1035–1039
Цитирование в формате AMSBIB
\RBibitem{Ala16}
\by П.~Е.~Алаев
\paper Безатомные булевы алгебры, вычислимые за полиномиальное время
\jour Сиб. электрон. матем. изв.
\yr 2016
\vol 13
\pages 1035--1039
\mathnet{http://mi.mathnet.ru/semr732}
\crossref{https://doi.org/10.17377/semi.2016.13.082}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr732
  • https://www.mathnet.ru/rus/semr/v13/p1035
  • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:165
    PDF полного текста:43
    Список литературы:29
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024