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

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

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



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






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


Алгебра и логика, 2008, том 47, номер 1, страницы 108–126 (Mi al349)  

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

О степенях представимости моделей. II

А. И. Стукачев

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Показывается, что свойство локальной конструктивизируемости наследуется при самой слабой из рассматриваемых эффективных сводимостей на счётных системах (сводимости по Мучнику). Устанавливается, что локальная конструктивизируемость уровня выше 1 наследуется при $\Sigma$-сводимости, но не наследуется при сводимости по Медведеву. Строится пример системы $\mathfrak M$ и отношения $P\subseteq M$, для которых $\underline{(\mathfrak M,P)}\equiv\underline{\mathfrak M}$, однако $(\mathfrak M,P)\not\equiv_\Sigma\mathfrak M$. Выделяется класс систем, эффективно определяющихся семейством своих локальных теорий.

Ключевые слова: допустимое множество, полурешётка степеней $\Sigma$-определимости.

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

Англоязычная версия:
Algebra and Logic, 2008, 47:1, 65–74

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

УДК: 510.5
Поступило: 23.08.2006

Образец цитирования: А. И. Стукачев, “О степенях представимости моделей. II”, Алгебра и логика, 47:1 (2008), 108–126; Algebra and Logic, 47:1 (2008), 65–74

Цитирование в формате AMSBIB
\RBibitem{Stu08}
\by А.~И.~Стукачев
\paper О степенях представимости моделей.~II
\jour Алгебра и логика
\yr 2008
\vol 47
\issue 1
\pages 108--126
\mathnet{http://mi.mathnet.ru/al349}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2408574}
\zmath{https://zbmath.org/?q=an:1164.03336}
\transl
\jour Algebra and Logic
\yr 2008
\vol 47
\issue 1
\pages 65--74
\crossref{https://doi.org/10.1007/s10469-008-0007-9}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000255038400007}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-40649098916}


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

    ОТПРАВИТЬ: 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. А. И. Стукачев, “Теорема об обращении скачка для полурешеток $\Sigma$-степеней”, Сиб. электрон. матем. изв., 6 (2009), 182–190  mathnet  mathscinet
    2. А. И. Стукачев, “$\Sigma$-определимость несчетных моделей $c$-простых теорий”, Сиб. матем. журн., 51:3 (2010), 649–661  mathnet  mathscinet  zmath; A. I. Stukachev, “$\Sigma$-definability of uncountable models of $c$-simple theories”, Siberian Math. J., 51:3 (2010), 515–524  crossref  isi
    3. Montalban A., “Rice Sequences of Relations”, Philos. Trans. R. Soc. A-Math. Phys. Eng. Sci., 370:1971, SI (2012), 3464–3487  crossref  mathscinet  zmath  adsnasa  isi  scopus
    4. А. И. Стукачев, “О свойствах $s\Sigma$-сводимости”, Алгебра и логика, 53:5 (2014), 625–642  mathnet  mathscinet; A. I. Stukachev, “Properties of $s\Sigma$-reducibility”, Algebra and Logic, 53:5 (2014), 405–417  crossref  isi
    5. 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
    6. А. И. Стукачев, “Обобщённо гиперарифметическая вычислимость над структурами”, Алгебра и логика, 55:6 (2016), 769–799  mathnet  crossref; A. I. Stukachev, “Generalized hyperarithmetical computability over structures”, Algebra and Logic, 55:6 (2017), 507–526  crossref  isi
    7. Harrison-Trainor M. Melnikov A. Miller R. Montalban A., “Computable Functors and Effective Interpretability”, J. Symb. Log., 82:1 (2017), 77–97  crossref  mathscinet  zmath  isi  scopus
    8. А. И. Стукачев, “Процессы и структуры на аппроксимационных пространствах”, Алгебра и логика, 56:1 (2017), 93–109  mathnet  crossref  mathscinet; A. I. Stukachev, “Processes and structures on approximation spaces”, Algebra and Logic, 56:1 (2017), 63–74  crossref  isi
    9. Dino Rossegger, “On functors enumerating structures”, Сиб. электрон. матем. изв., 14 (2017), 690–702  mathnet  crossref
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:489
    Полный текст:65
    Литература:46
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020