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

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

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


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




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

Алгебра и логика, 2021, том 60, номер 6, страницы 587–611
DOI: https://doi.org/10.33048/alglog.2021.60.606 (Mi al2689) 		 
Виртуальные алгебраические изоморфизмы между исчислениями предикатов конечных богатых сигнатур

М. Г. Перетятькин

Ин-т матем. и матем. моделир. МОН РК, г. Алма-Ата, КАЗАХСТАН
PDF полного текста (650 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/alglog.2021.60.606
Аннотация: Доказывается что любые два исчисления предикатов конечных богатых сигнатур алгебраически виртуально изоморфны, т. е. некоторые их декартовы расширения алгебраически изоморфны. В качестве важнейшего приложения установливается, что для исчислений предикатов любых двух конечных богатых сигнатур существует вычислимый изоморфизм между их алгебрами Тарского–Линденбаума, который сохраняет все теоретико-модельные свойства алгебраического типа, соответствующие реальной практике исследований в теории моделей.
Ключевые слова: исчисления предикатов, алгебра Тарского–Линденбаума, виртуальные алгебраические изоморфизмы.
Финансовая поддержка Номер гранта
Министерство образования и науки Республики Казахстан AP05130852
Работа выполнена при финансовой поддержке Комитета науки Минобрнауки РК, грант AP05130852.
Поступило: 18.01.2020
Окончательный вариант: 08.04.2022
Англоязычная версия:
Algebra and Logic, 2021, Volume 60, Issue 6, Pages 389–406
DOI: https://doi.org/10.1007/s10469-022-09666-y
Тип публикации: Статья
УДК: 510.6:510.67
Образец цитирования: М. Г. Перетятькин, “Виртуальные алгебраические изоморфизмы между исчислениями предикатов конечных богатых сигнатур”, Алгебра и логика, 60:6 (2021), 587–611; Algebra and Logic, 60:6 (2021), 389–406
Цитирование в формате AMSBIB
\RBibitem{Per21}
\by М.~Г.~Перетятькин
\paper Виртуальные алгебраические изоморфизмы между исчислениями предикатов конечных богатых сигнатур
\jour Алгебра и логика
\yr 2021
\vol 60
\issue 6
\pages 587--611
\mathnet{http://mi.mathnet.ru/al2689}
\transl
\jour Algebra and Logic
\yr 2021
\vol 60
\issue 6
\pages 389--406
\crossref{https://doi.org/10.1007/s10469-022-09666-y}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2689
  • https://www.mathnet.ru/rus/al/v60/i6/p587
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025