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.

UDC: 510.67:512.57

MSC: 03C20, 03C35, 03C60

Received November 16, 2017, published December 27, 2017

DOI: 10.17377/semi.2017.14.128

Bibliographic databases:

•