Standard

Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели. / Пальчунов, Дмитрий Евгеньевич; Трофимов, Александр Викторович.

In: Доклады Российской академии наук. Математика, информатика, процессы управления, Vol. 526, No. 1, 4, 2025, p. 24-29.

Research output: Contribution to journal › Article › peer-review

Harvard

Пальчунов, ДЕ & Трофимов, АВ 2025, 'Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели', Доклады Российской академии наук. Математика, информатика, процессы управления, vol. 526, no. 1, 4, pp. 24-29. https://doi.org/10.7868/S3034504925060045

APA

Пальчунов, Д. Е., & Трофимов, А. В. (2025). Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели. Доклады Российской академии наук. Математика, информатика, процессы управления, 526(1), 24-29. [4]. https://doi.org/10.7868/S3034504925060045

Vancouver

Пальчунов ДЕ, Трофимов АВ. Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели. Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;526(1):24-29. 4. doi: 10.7868/S3034504925060045

Author

Пальчунов, Дмитрий Евгеньевич ; Трофимов, Александр Викторович. / Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели. In: Доклады Российской академии наук. Математика, информатика, процессы управления. 2025 ; Vol. 526, No. 1. pp. 24-29.

BibTeX

@article{06d6fd3710c849a8b4fa4f6a6530eecc,
title = "Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели",
abstract = "Исследуются булевы алгебры в сигнатуре, обогащенной выделенной подалгеброй. Изучается вопрос существования полных теорий булевых алгебр с выделенной подалгеброй, не имеющих простой модели. Построен континуум булевых алгебр с выделенной подалгеброй, элементарные теории которых различны и не имеют простых моделей, причем для достаточно узкого класса очень просто устроенных алгебр, а именно это суператомные булевы алгебры с выделенной подалгеброй, изоморфной самой булевой алгебре и почти совпадающей с ней.",
keywords = "БУЛЕВА АЛГЕБРА, СУПЕРАТОМНАЯ БУЛЕВА АЛГЕБРА, БУЛЕВА АЛГЕБРА С ВЫДЕЛЕННОЙ ПОДАЛГЕБРОЙ, ЭЛЕМЕНТАРНАЯ ТЕОРИЯ, ПРОСТАЯ МОДЕЛЬ, BOOLEAN ALGEBRA, SUPERATOMIC BOOLEAN ALGEBRA, BOOLEAN ALGEBRA WITH A DISTINGUISHED SUBALGEBRA, ELEMENTARY THEORY, PRIME MODEL",
author = "Пальчунов, {Дмитрий Евгеньевич} and Трофимов, {Александр Викторович}",
note = "Пальчунов Д.Е., Трофимов А.В. Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели // Доклады Российской академии наук. Математика, информатика, процессы управления. – 2025. – Т. 526. - № 1. – С. 24-29. – DOI 10.7868/S3034504925060045. – EDN DPCXPE. Исследование выполнено в рамках государственного задания ИМ СО РАН (проект FWNF-2022-0011).",
year = "2025",
doi = "10.7868/S3034504925060045",
language = "русский",
volume = "526",
pages = "24--29",
journal = "Доклады Российской академии наук. Математика, информатика, процессы управления",
issn = "2686-9543",
publisher = "ФГБУ {"}Издательство {"}Наука{"}",
number = "1",

}

RIS

TY - JOUR

T1 - Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели

AU - Пальчунов, Дмитрий Евгеньевич

AU - Трофимов, Александр Викторович

N1 - Пальчунов Д.Е., Трофимов А.В. Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели // Доклады Российской академии наук. Математика, информатика, процессы управления. – 2025. – Т. 526. - № 1. – С. 24-29. – DOI 10.7868/S3034504925060045. – EDN DPCXPE. Исследование выполнено в рамках государственного задания ИМ СО РАН (проект FWNF-2022-0011).

PY - 2025

Y1 - 2025

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

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

KW - БУЛЕВА АЛГЕБРА

KW - СУПЕРАТОМНАЯ БУЛЕВА АЛГЕБРА

KW - БУЛЕВА АЛГЕБРА С ВЫДЕЛЕННОЙ ПОДАЛГЕБРОЙ

KW - ЭЛЕМЕНТАРНАЯ ТЕОРИЯ

KW - ПРОСТАЯ МОДЕЛЬ

KW - BOOLEAN ALGEBRA

KW - SUPERATOMIC BOOLEAN ALGEBRA

KW - BOOLEAN ALGEBRA WITH A DISTINGUISHED SUBALGEBRA

KW - ELEMENTARY THEORY

KW - PRIME MODEL

UR - https://www.elibrary.ru/item.asp?id=87680593

U2 - 10.7868/S3034504925060045

DO - 10.7868/S3034504925060045

M3 - статья

VL - 526

SP - 24

EP - 29

JO - Доклады Российской академии наук. Математика, информатика, процессы управления

JF - Доклады Российской академии наук. Математика, информатика, процессы управления

SN - 2686-9543

IS - 1

M1 - 4

ER -

ID: 74352108