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

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

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



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






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


Алгебра и логика, 2016, том 55, номер 3, страницы 366–379 (Mi al746)  

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

Об одном достаточном условии непредставимости структур в наследственно конечных надстройках

А. С. Морозовab

a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ

Аннотация: Определяется класс экзистенциально-штейницевых структур, содержащий, в частности, поля вещественных и комплексных чисел. Доказывается общий результат, из которого следует, что для экзистенциально-штейницевой структуры $\mathfrak M$ следующие структуры не вложимы ни в какую структуру, $\Sigma$-представимую над $\mathbb{HF}(\mathfrak M)$ с тривиальной эквивалентностью: булева алгебра всех подмножеств $\omega$, её фактор по идеалу конечных множеств, группа всех перестановок на $\omega$, её фактор по подгруппе всех финитарных перестановок, полугруппа всех отображений из $\omega$ в $\omega$, решётка всех открытых и решётка всех замкнутых множеств вещественных чисел, группа всех $\Sigma$-определимых с параметрами над $\mathbb{HF(R)}$ перестановок на $\mathbb R$, полугруппа таких отображений из $\mathbb R$ в $\mathbb R$.

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

Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации НШ-860.2014.1
Работа выполнена при финансовой поддержке Совета по грантам Президента РФ для государственной поддержки ведущих научных школ, проект НШ-860.2014.1.


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

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

Англоязычная версия:
Algebra and Logic, 2016, 55:3, 242–251

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

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

Образец цитирования: А. С. Морозов, “Об одном достаточном условии непредставимости структур в наследственно конечных надстройках”, Алгебра и логика, 55:3 (2016), 366–379; Algebra and Logic, 55:3 (2016), 242–251

Цитирование в формате AMSBIB
\RBibitem{Mor16}
\by А.~С.~Морозов
\paper Об одном достаточном условии непредставимости структур в~наследственно конечных надстройках
\jour Алгебра и логика
\yr 2016
\vol 55
\issue 3
\pages 366--379
\mathnet{http://mi.mathnet.ru/al746}
\crossref{https://doi.org/10.17377/alglog.2016.55.305}
\transl
\jour Algebra and Logic
\yr 2016
\vol 55
\issue 3
\pages 242--251
\crossref{https://doi.org/10.1007/s10469-016-9392-7}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000385155300005}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84989172962}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al746
  • http://mi.mathnet.ru/rus/al/v55/i3/p366

    ОТПРАВИТЬ: 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. S. Morozov, “Computable model theory over the reals”, Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60Th Birthday, Lecture Notes in Computer Science, 10010, eds. A. Day, M. Fellows, N. Greenberg, B. Khoussainov, A. Melnikov, F. Rosamond, Springler, 2017, 354–365  crossref  mathscinet  zmath  isi  scopus
    2. А. С. Морозов, “Непредставимость некоторых структур анализа в наследственно конечных надстройках”, Алгебра и логика, 56:6 (2017), 691–711  mathnet  crossref; A. S. Morozov, “Nonpresentability of some structures of analysis in hereditarily finite superstructures”, Algebra and Logic, 56:6 (2018), 458–472  crossref  isi
    3. А. С. Морозов, “О $\Sigma$-предпорядках в ${\mathbb{HF}(\mathbb{R})}$”, Алгебра и логика, 58:5 (2019), 609–626  mathnet  crossref
    4. Р. М. Короткова, О. В. Кудинов, А. С. Морозов, “О взаимной определимости операций над полями”, Сиб. матем. журн., 60:6 (2019), 1324–1334  mathnet  crossref
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:168
    Полный текст:10
    Литература:26
    Первая стр.:18
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020