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

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

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



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






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


Алгебра и логика, 2015, том 54, номер 6, страницы 748–768 (Mi al723)  

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

Сравнение классов конечных сумм

У. Эндрюсa, Д. И. Душенинb, К. Хиллc, Дж. Ф. Найтd, А. Г. Мельниковe

a Dep. Math., Univ. Wisconsin, Madison, WI 53706-1388, USA
b АО "СНИИГГиМС", Красный пр., д. 67, г. Новосибирск, РОССИЯ
c Dep. Math. Comput. Sci., Wesleyan Univ., Middletown, CT 06459, USA
d Dep. Math., Univ. Notre Dame, 255 Hurley, Notre Dame, IN 46556, USA
e Inst. Nat. Math. Sci., Massey Univ., Palmerston North, 4442, NEW ZEALAND

Аннотация: Понятие тьюрингово вычислимого вложения является вычислимым аналогом борелевского вложения. Оно предоставляет способ сравнения классов счётных структур, что позволяет эффективно сводить проблему классификации одного класса к проблеме классификации другого. Большая часть из известных результатов несуществования тьюрингова вычислимого вложения отражают различия в сложности предложений, которые необходимо выделить из неизоморфных членов двух классов. Здесь рассматриваются структуры, полученные как суммы. Показывается, что $n$-элементные суммы некоторых классов лежат строго ниже $(n+1)$-элементных сумм. Отличия отражают теоретико-модельные рассуждения, связанные с степенью Морли, а не разницу в сложности предложений, которые описывают структуры. Рассматривается три разных типа структур сумм: кардинальные суммы, в которых компоненты названы предикатами, суммы эквивалентности, в которых компоненты являются классами эквивалентности, и прямые сумы некоторых групп.

Ключевые слова: тьюрингово вычислимое вложение, классы конечных сумм, степень Морли, сложность предложений.

Финансовая поддержка Номер гранта
National Science Foundation DMS 1101123
DMS 1201338
Работа выполнена при финансовой поддержке NSF, грант DMS No. 1101123, первый из авторов поддержан также грантом DMS-1201338.


DOI: https://doi.org/10.17377/alglog.2015.54.605

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

Англоязычная версия:
Algebra and Logic, 2016, 54:6, 489–501

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

Тип публикации: Статья
УДК: 510.5
Поступило: 08.07.2013
Окончательный вариант: 18.02.2015

Образец цитирования: У. Эндрюс, Д. И. Душенин, К. Хилл, Дж. Ф. Найт, А. Г. Мельников, “Сравнение классов конечных сумм”, Алгебра и логика, 54:6 (2015), 748–768; Algebra and Logic, 54:6 (2016), 489–501

Цитирование в формате AMSBIB
\RBibitem{AndDusHil15}
\by У.~Эндрюс, Д.~И.~Душенин, К.~Хилл, Дж.~Ф.~Найт, А.~Г.~Мельников
\paper Сравнение классов конечных сумм
\jour Алгебра и логика
\yr 2015
\vol 54
\issue 6
\pages 748--768
\mathnet{http://mi.mathnet.ru/al723}
\crossref{https://doi.org/10.17377/alglog.2015.54.605}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3497818}
\transl
\jour Algebra and Logic
\yr 2016
\vol 54
\issue 6
\pages 489--501
\crossref{https://doi.org/10.1007/s10469-016-9368-7}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000377184900005}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84960415514}


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

    ОТПРАВИТЬ: 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. A. G. Melnikov, K. M. Ng, “Computable torsion abelian groups”, Adv. Math., 325 (2018), 864–907  crossref  mathscinet  zmath  isi  scopus
    2. С. Ватев, Х. Ганчев, И. Ш. Калимуллин, “Вычислимая вложимость классов алгебраических структур с отношением конгруэнтности”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 160, № 4, Изд-во Казанского ун-та, Казань, 2018, 731–737  mathnet
    3. N. Bazhenov, “Computable contact algebras”, Fundam. Inform., 167:4 (2019), 257–269  crossref  mathscinet  zmath  isi  scopus
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:133
    Полный текст:18
    Литература:42
    Первая стр.:31
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021