×

推广贝克定理。 (英语) Zbl 0980.08003号

1972年,K.Baker提出了著名的定理:让(mathcal V)是有限语言中的同余分布簇。如果\(\mathcal V\)是残差有界的,那么\(\mathcal V \)是有限基的。1976年,R.Park对以下问题作出了肯定的回答:假设(mathcal V)是有限语言中的一个变体。如果\(\mathcal V\)是剩余有界的,那么\(\ mathcal V \)必须是有限基的吗?这个问题仍然悬而未决,但作者在最近的一篇论文中证明,当同余分配被满足同余半分配所取代时,贝克定理仍然成立。本文总结了与贝克定理有关的同余生成的组合性质,并解释了作者将该定理推广到同余半分布簇的方法。

MSC公司:

08B05号 等式逻辑,Mal'tsev条件
03C05号机组 模型理论中的方程类、泛代数
08B10号 同余模块性,同余分配性
PDF格式BibTeX公司 XML格式引用