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

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

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



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






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


Алгебра и логика, 2010, том 49, номер 1, страницы 98–134 (Mi al430)  

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

Простые структуры со сложной симметрией

В. Харизановаa, Р. Миллерbc, А. С. Морозовd

a Dep. Math., George Washington Univ.,Washington, DC, USA
b Ph.D. Prog. Math. and Comp. Sci., C.U.N.Y. Graduate Center, New York, USA
c Dep. Math. Queens College – C.U.N.Y., New York, USA
d Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ

Аннотация: Определяются мера сложности симметрий вычислимой структуры $\mathcal M$, её спектр автоморфизмов и доказывается, что одни множества тьюринговых степеней могут быть реализованы как спектры автоморфизмов, а другие – нет.

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

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

Англоязычная версия:
Algebra and Logic, 2010, 49:1, 68–90

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

Тип публикации: Статья
УДК: 510.5+510.67
Поступило: 14.09.2009

Образец цитирования: В. Харизанова, Р. Миллер, А. С. Морозов, “Простые структуры со сложной симметрией”, Алгебра и логика, 49:1 (2010), 98–134; Algebra and Logic, 49:1 (2010), 68–90

Цитирование в формате AMSBIB
\RBibitem{HarMilMor10}
\by В.~Харизанова, Р.~Миллер, А.~С.~Морозов
\paper Простые структуры со сложной симметрией
\jour Алгебра и логика
\yr 2010
\vol 49
\issue 1
\pages 98--134
\mathnet{http://mi.mathnet.ru/al430}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2664124}
\zmath{https://zbmath.org/?q=an:1195.03041}
\transl
\jour Algebra and Logic
\yr 2010
\vol 49
\issue 1
\pages 68--90
\crossref{https://doi.org/10.1007/s10469-010-9079-4}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000276493500005}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-77950691354}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al430
  • http://mi.mathnet.ru/rus/al/v49/i1/p98

    ОТПРАВИТЬ: 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. Н. Т. Когабаев, “Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей”, Алгебра и логика, 54:5 (2015), 599–627  mathnet  crossref  mathscinet; N. T. Kogabaev, “The theory of projective planes is complete with respect to degree spectra and effective dimensions”, Algebra and Logic, 54:5 (2015), 387–407  crossref  isi
    3. Н. Х. Касымов, А. С. Морозов, “Об определимости линейных порядков над негативными эквивалентностями”, Алгебра и логика, 55:1 (2016), 37–57  mathnet  crossref  elib; N. Kh. Kasymov, A. S. Morozov, “Definability of linear orders over negative equivalences”, Algebra and Logic, 55:1 (2016), 24–37  crossref  isi
    4. Miller R., Poonen B., Schoutens H., Shlapentokh A., “A Computable Functor From Graphs to Fields”, J. Symb. Log., 83:1 (2018), 326–348  crossref  mathscinet  zmath  isi  scopus
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:202
    Полный текст:53
    Литература:25
    Первая стр.:3

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019