n-唯一性的失效：一个例子族
逻辑
2010-07-06 v2 群论
摘要
本文利用模型论与无限置换群理论之间的联系，研究稳定理论中n-合并问题的n-存在性和n-唯一性。我们证明，对于任意n>1，存在一个稳定理论，对于每个k<n+1，它具有(k+1)-存在性和k-唯一性，但既不具有(n+2)-存在性，也不具有(n+1)-唯一性。特别地，这推广了E. Hrushovski在[3]中给出的n=2的例子。
引用
@article{arxiv.0909.0589,
title = {Failure on n-uniqueness: a family of examples},
author = {Elisabetta Pastori and Pablo Spiga},
journal= {arXiv preprint arXiv:0909.0589},
year = {2010}
}