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

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

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



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






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


Алгебра и логика, 2011, том 50, номер 6, страницы 707–732 (Mi al513)  

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

Вычислимая проблема вложимости

Дж. Карсон, Е. Фокинаa, В. Харизановаb, Дж. Ф. Найтc, С. Куиннd, К. Сафранскиe, Дж. Воллбаум

a Kurt Goedel Res. Center Math. Log., Univ. Vienna, Vienna, AUSTRIA
b Dep. Math., George Washington Univ., Washington, D.C., USA
c Dep. Math., Univ. Notre Dame, Notre Dame, IN, USA
d Dep. Math., Dominican Univ., , River Forest, IL, USA
e Saint Vincent College, Latrobe, PA, USA

Аннотация: Калверт вычислил сложность проблемы изоморфизма для вычислимых структур в нескольких известных классах. Розендаль предложил, что аналогичные исследования могут быть интересными для проблемы вложимости вычислимых структур. Под вычислимой проблемой изоморфизма и вычислимой проблемой вложимости мы понимаем сложность определения существования изоморфизма или вложения между двумя вычислимыми моделями из некоторого класса. Для таких классов, как $\mathbb Q$-векторные пространства и линейные порядки, обе проблемы имеют одинаковую сложность. Более того, вычисления фактически совпадают. Для других классов существуют различия. Находятся примеры, в которых проблема вложимости тривиальна (внутри класса), тогда как проблема изоморфизма имеет более высокую сложность. Кроме того, строится пример, в котором проблема вложимости имеет более высокую сложность, чем проблема изоморфизма.

Ключевые слова: вычислимая структура, вычислимая проблема изоморфизма, вычислимая проблема вложимости.

Полный текст: PDF файл (284 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Algebra and Logic, 2012, 50:6, 478–493

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.52
Поступило: 27.11.2011

Образец цитирования: Дж. Карсон, Е. Фокина, В. Харизанова, Дж. Ф. Найт, С. Куинн, К. Сафрански, Дж. Воллбаум, “Вычислимая проблема вложимости”, Алгебра и логика, 50:6 (2011), 707–732; Algebra and Logic, 50:6 (2012), 478–493

Цитирование в формате AMSBIB
\RBibitem{CarFokHar11}
\by Дж.~Карсон, Е.~Фокина, В.~Харизанова, Дж.~Ф.~Найт, С.~Куинн, К.~Сафрански, Дж.~Воллбаум
\paper Вычислимая проблема вложимости
\jour Алгебра и логика
\yr 2011
\vol 50
\issue 6
\pages 707--732
\mathnet{http://mi.mathnet.ru/al513}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2953275}
\zmath{https://zbmath.org/?q=an:06116204}
\transl
\jour Algebra and Logic
\yr 2012
\vol 50
\issue 6
\pages 478--493
\crossref{https://doi.org/10.1007/s10469-012-9160-2}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000302031700002}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84858749747}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al513
  • http://mi.mathnet.ru/rus/al/v50/i6/p707

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Fokina E.B. Harizanov V. Melnikov A., “Computable Model Theory”, Turing'S Legacy: Developments From Turing'S Ideas in Logic, Lecture Notes in Logic, 42, ed. Downey R., Cambridge Univ Press, 2014, 124–194  mathscinet  isi
    2. Н. Т. Когабаев, “О проблеме вложимости вычислимых проективных плоскостей”, Алгебра и логика, 56:1 (2017), 110–117  mathnet  crossref  mathscinet  zmath; N. T. Kogabaev, “The embedding problem for computable projective planes”, Algebra and Logic, 56:1 (2017), 75–79  crossref  isi
    3. Н. Т. Когабаев, “Сложность проблемы изоморфизма вычислимых свободных проективных плоскостей конечного ранга”, Сиб. матем. журн., 59:2 (2018), 378–395  mathnet  crossref  elib; N. T. Kogabaev, “Complexity of the isomorphism problem for computable free projective planes of finite rank”, Siberian Math. J., 59:2 (2018), 295–308  crossref  isi
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:194
    Полный текст:57
    Литература:23
    Первая стр.:15
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020