Псевдо-счетно-категоричные формулы и теории | Sciact - Система учета научной деятельности ИМ СО РАН

Псевдо-счетно-категоричные формулы и теории Научная публикация

Журнал

Математические заметки
ISSN: 0025-567X , E-ISSN: 2305-2880

Вых. Данные

Год: 2025, Том: 117, Номер: 3, Страницы: 422-442 Страниц : 21 DOI: 10.4213/mzm14382

Ключевые слова

псевдо-счетно-категоричная формула, псевдо-счетно-категоричная теория, упорядоченная теория, абелева группа, модуль, эренфойхтова теория.

Авторы

Кулпешов Б.Ш. ^1,2 , Павлюк Ин.И. ³ , Судоплатов С.В. ⁴

Организации

1	Казахстанско-Британский технический университет, г. Алматы;
2	Институт математики и математического моделирования, г. Алматы
3	Новосибирский государственный технический университет
4	Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск

Информация о финансировании (1)

Институт математики им. С.Л. Соболева СО РАН

FWNF-2022-0012

Введено понятие псевдо-счетно-категоричной формулы, исследованы синтаксические и семантические возможности таких формул. Изучены аппроксимации теорий с помощью таких формул, включая псевдо-счетно-категоричные упорядоченные теории, теории абелевых групп и модулей, эренфойхтовы теории. Получено описание канонических представителей псевдо-счетно-категоричных упорядоченных теорий. Изучены возможности сохранения и нарушения псевдо-счетной категоричности при обогащениях и обеднениях теорий. Описаны счетные спектры псевдо-счетно-категоричных теорий.

Кулпешов Б.Ш. , Павлюк И.И. , Судоплатов С.В.
Псевдо-счетно-категоричные формулы и теории
Математические заметки. 2025. Т.117. №3. С.422-442. DOI: 10.4213/mzm14382 РИНЦ OpenAlex

Kulpeshov B.S. , Pavlyuk I.I. , Sudoplatov S.V.
Pseudo-Countably-Categorical Formulas and Theories
Mathematical Notes. 2025. V.117. N3. 16 :1-16. DOI: 10.1134/S0001434625030095 WOS Scopus РИНЦ OpenAlex

Поступила в редакцию:	26 мая 2024 г.
Принята к публикации:	15 окт. 2024 г.
Опубликована в печати:	4 мар. 2025 г.
Опубликована online:	4 мар. 2025 г.

РИНЦ:	82450366
OpenAlex:	W4408154601

Пока нет цитирований