E. A. Palyutin, “Categorical Horn classes. 2”, Algebra Logika, 2010, Volume 49, Number 6,Pages <nobr>782

This article is cited in 4 papers

Categorical Horn classes. 2

E. A. Palyutin^ab

^a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
^b Novosibirsk State University, Novosibirsk, Russia

Abstract: We come up with a quite efficient characterization of uncountably categorical Horn classes, which, in particular, implies that the classes in question are model complete. It is also worth mentioning the following results: quantifier elimination down to primitive formulas, a description of groups interpretable in models of categorical Horn theories, and a characterization of groups interpretable in models of almost strongly minimal Horn theories.

Keywords: categorical Horn class, model completeness, quantifier elimination down to primitive formulas, interpretability.

UDC: 510.67+512.57

Received: 22.10.2010
Revised: 09.11.2010