Categorical horn classes. 2

被引：0
|
作者：
E. A. Palyutin
机构：
[1] Russian Academy of Sciences,Sobolev Institute of Mathematics, Siberian Branch
[2] Novosibirsk State University,undefined
来源：
Algebra and Logic | 2011年 / 49卷
关键词：
categorical Horn class; model completeness; quantifier elimination down to primitive formulas; interpretability;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：526 / 538
页数：12
相关论文
共 50 条
12345