|
Mathematical logic, algebra and number theory
Expansions of categorical antiadditive Horn theories till additive
ones
E. A. Palyutin Sobolev Institute of Mathematics,
pr. Koptyuga, 4,
630090, Novosibirsk, Russia
Abstract:
The main result of the paper is a
characterization of definable permutation groups in categorical
Horn theories. This characterization implies the theorem that
there exist categorical Horn theories which can not be expanded
till categorical additive Horn theories.
Keywords:
categorical Horn theory, antiadditive
theory, additive theory, expansion of theory.
Received November 16, 2017, published December 27, 2017
Citation:
E. A. Palyutin, “Expansions of categorical antiadditive Horn theories till additive
ones”, Sib. Èlektron. Mat. Izv., 14 (2017), 1480–1491
Linking options:
https://www.mathnet.ru/eng/semr887 https://www.mathnet.ru/eng/semr/v14/p1480
|
Statistics & downloads: |
Abstract page: | 129 | Full-text PDF : | 30 | References: | 33 |
|