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

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

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


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




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

Сибирские электронные математические известия, 2020, том 17, страницы 1540–1551
DOI: https://doi.org/10.33048/semi.2020.17.107 (Mi semr1301) 		 
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Математическая логика, алгебра и теория чисел

The property of being a model complete theory is preserved by Cartesian extensions

M. G. Peretyat'kin

Institute of Mathematics and Mathematical Modeling, 125, Pushkin str., Almaty, 050010, Kazakhstan
PDF полного текста (380 kB) Список цитирования (2)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/semi.2020.17.107
Аннотация: Cartesian-quotient extensions of theories constitute a most common class of finitary transformation methods for first-order combinatorics. In this paper, some technical properties of classes of algebraic Cartesian and algebraic Cartesian-quotient interpretations of theories are studied. It is established that any algebraic Cartesian interpretation preserves the property of being a model complete theory; besides, an example of an algebraic Cartesian-quotient interpretation of theories is given, which does not preserve the model-completeness property.
Ключевые слова: first-order logic, incomplete theory, Tarski-Lindenbaum algebra, model-theoretic property, computable isomorphism, Cartesian interpretation, model completeness.
Финансовая поддержка Номер гранта
Министерство образования и науки Республики Казахстан AP05130852
The work was supported by the Ministry of Science and Education of the Republic of Kazakhstan (grant № AP05130852).
Поступила 2 апреля 2020 г., опубликована 25 сентября 2020 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.67
MSC: 03B10,03C10
Язык публикации: английский
Образец цитирования: M. G. Peretyat'kin, “The property of being a model complete theory is preserved by Cartesian extensions”, Сиб. электрон. матем. изв., 17 (2020), 1540–1551
Цитирование в формате AMSBIB
\RBibitem{Per20}
\by M.~G.~Peretyat'kin
\paper The property of being a model complete theory is preserved by Cartesian extensions
\jour Сиб. электрон. матем. изв.
\yr 2020
\vol 17
\pages 1540--1551
\mathnet{http://mi.mathnet.ru/semr1301}
\crossref{https://doi.org/10.33048/semi.2020.17.107}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000575248900001}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1301
  • https://www.mathnet.ru/rus/semr/v17/p1540
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:173
    PDF полного текста:62
    Список литературы:23
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024