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

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

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


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




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

Алгебра и логика, 2002, том 41, номер 2, страницы 199–222 (Mi al180)  
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

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

В. Г. Пузаренко

Институт математики им. С. Л. Соболева СО РАН
PDF полного текста (2165 kB) Список цитирования (4)
Список литературы:
PDF
HTML
Аннотация: Изучаются теоретико-модельные свойства наследственно конечных надстроек над моделями не более чем счетных сигнатур. Дается отрицательный ответ на вопрос о том, можно ли описать теории наследственно конечных надстроек, которые имеют единственную с точностью до изоморфизма наследственно конечную надстройку, с помощью определимых функций. Однако теории таких надстроек допускают описание в терминах итерированных семейств $\mathcal{TF}$ и $\mathcal{SF}$. Данные семейства строятся с помощью определимого объединения по счетным ординалам из подмножеств, являющихся объединением конечного числа полных подмножеств, и конечных подмножеств соответственно. Одновременно дается описание теорий, имеющих единственную с точностью до изоморфизма счетную наследственно конечную надстройку.
Ключевые слова: наследственно конечные надстройки, $\omega$-логика.
Поступило: 28.07.2000
Англоязычная версия:
Algebra and Logic, 2002, Volume 41, Issue 2, Pages 111–123
DOI: https://doi.org/10.1023/A:1015308730864
Реферативные базы данных:
УДК: 510.5
Образец цитирования: В. Г. Пузаренко, “О теории моделей на наследственно конечных надстройках”, Алгебра и логика, 41:2 (2002), 199–222; Algebra and Logic, 41:2 (2002), 111–123
Цитирование в формате AMSBIB
\RBibitem{Puz02}
\by В.~Г.~Пузаренко
\paper О~теории моделей на наследственно конечных надстройках
\jour Алгебра и логика
\yr 2002
\vol 41
\issue 2
\pages 199--222
\mathnet{http://mi.mathnet.ru/al180}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1922989}
\zmath{https://zbmath.org/?q=an:1063.03016}
\transl
\jour Algebra and Logic
\yr 2002
\vol 41
\issue 2
\pages 111--123
\crossref{https://doi.org/10.1023/A:1015308730864}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-42249084640}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al180
  • https://www.mathnet.ru/rus/al/v41/i2/p199
    • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:400
    PDF полного текста:130
    Список литературы:74
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024