×

弗雷塞极限、拉姆齐理论和自同构群的拓扑动力学。 (英语) Zbl 1084.54014号

弗雷塞理论关注基于关系符号(R_i)和函数符号(f_j)的可数集合的语言(L)的结构(语言A,i}中的R^A_i}{i,j}{j)。如果\(A\)和\(B\)是\(L\)的结构,那么\(A\leq B\)意味着\(A \)是(B \)的子结构。满足一定条件的(L)的有限结构类(K)称为Fraíssé类。如果(K)中的每一个(A\leq B\)都有带(B\leq C\)的(C\),并且(K)满足某个附加条件,则称类(K)具有Ramsey性质。如果语言\(L\)包含一个可分辨的二元关系符号\(<\),那么,如果\(<^a\)是\(a\)上的线性排序,则用于\(L_)的结构\(a_)称为顺序结构。作者考虑了可数无限结构的自同构群。在获得的其他结果中,他们表明\(S_ \ infty \)的极易服从闭子群正是形式\(\ operatorname{Aut}(A)\)的群,其中\(A \)是具有Ramsey性质的Fraísse序类的Fraésse极限。

MSC公司:

54H20个 拓扑动力学(MSC2010)
37B10号机组 符号动力学
PDF格式BibTeX公司 XML格式引用