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

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

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



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






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


Сибирские электронные математические известия, 2022, том 19, выпуск 1, страницы 259–272
DOI: https://doi.org/10.33048/semi.2022.19.020
(Mi semr1497)
 

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

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

Special relations for formulae, their equivalence relations and theories

S. V. Sudoplatovab

a Novosibirsk State Technical University 20, K. Marx ave., Novosibirsk, 630073, Russia
b Sobolev Institute of Mathematics 4, Acad. Koptyug ave., Novosibirsk, 630090, Russia
Список литературы:
Аннотация: We study properties and characteristics for special relations of formulae in given languages producing equivalence relations both in general case and for elementary theories. Characteristics for chains of special relations and equivalence relations are described.
Ключевые слова: formula, special relation, equivalence relation, theory.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации FWNF-2022-0012
Министерство образования и науки Республики Казахстан AP08855497
Российский научный фонд 22-21-00044
The work was carried out in the framework of the State Contract of the Sobolev Institute of Mathematics, Project No. FWNF-2022-0012, of the Committee of Science in Education and the Science Ministry of the Republic of Kazakhstan, Grant No. AP08855497 (Sections 2 and 3), and of Russian Scientific Foundation, Project No. 22-21-00044 (Sections 4 and 5).
Поступила 27 января 2022 г., опубликована 19 апреля 2022 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.67
MSC: 03C07, 03C10, 03C68
Язык публикации: английский
Образец цитирования: S. V. Sudoplatov, “Special relations for formulae, their equivalence relations and theories”, Сиб. электрон. матем. изв., 19:1 (2022), 259–272
Цитирование в формате AMSBIB
\RBibitem{Sud22}
\by S.~V.~Sudoplatov
\paper Special relations for formulae, their equivalence relations and theories
\jour Сиб. электрон. матем. изв.
\yr 2022
\vol 19
\issue 1
\pages 259--272
\mathnet{http://mi.mathnet.ru/semr1497}
\crossref{https://doi.org/10.33048/semi.2022.19.020}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4384325}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1497
  • https://www.mathnet.ru/rus/semr/v19/i1/p259
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:101
    PDF полного текста:37
    Список литературы:24
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024