S. V. Sudoplatov, “Approximations of theories”, Сиб. электрон. матем. изв., 2020, том 17,страницы 715

Эта публикация цитируется в 13 статьях

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

Approximations of theories

S. V. Sudoplatov^abc

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

Аннотация: We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of theories as well as their $e$-spectra are found. $e$-categorical approximating families are introduced and characterized.

Ключевые слова: approximation of theory, combination of structures, closure, finitely axiomatizable theory, $e$-spectrum.

УДК: 510.67

MSC: 03C30, 03C15, 03C50, 54A05

Поступила 20 апреля 2020 г., опубликована 22 мая 2020 г.

DOI: 10.33048/semi.2020.17.049