RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2020, том 17, страницы 1137–1154 (Mi semr1280)

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

О гиперграфах минимальных и простых моделей теорий абелевых групп

С. В. Судоплатовabc

a Novosibirsk State Technical University, 20 K. Marx ave., Novosibirsk, 630073, Russia
b Sobolev Institute of Mathematics, 4, Academician Koptyug ave., Novosibirsk, 630090, Russia
c Novosibirsk State University, 1, Pirogova str., Novosibirsk, 630090, Russia

Аннотация: We systematize known results about minimal and prime models of theories of abelian groups. Based on these results we describe properties and provide structural ones on hypergraphs of models for theories of abelian groups. In particular, we characterize non-emptiness and infiniteness of hypergraphs of minimal and prime models. We give necessary and sufficient conditions for almost disjointness of the respective hypergraphs. We also characterize conditions of preservation for non-emptiness and disjointness of hypergraphs of minimal and prime models at transformations to direct sums of groups.

Ключевые слова: hypergraph of models, minimal model, prime model, abelian group, elementary theory.

УДК: 510.67, 512.54, 519.179.1

MSC: 03C50, 20K25, 05C65

Поступила 24 июля 2020 г., опубликована 21 августа 2020 г.

DOI: 10.33048/semi.2020.17.086



Реферативные базы данных:


© МИАН, 2024