论文标题
基于强大的合并Fraisse课程的排名
Ranks Based on Strong Amalgamation Fraisse Classes
论文作者
论文摘要
在本文中,我们介绍了k兰克的概念,其中k是一个强大的合并fraisse类。粗略地说,部分类型的K级是可以在类型内“独立编码”的K的“副本”数量。我们研究K量的特定示例K,包括线性顺序,等效关系和图形。我们讨论了K级与模型理论中其他等级的关系,包括DP级和操作量(由第一作者创造的概念和C. D. Hill在先前的工作中创造)。
In this paper, we introduce the notion of K-rank, where K is an strong amalgamation Fraisse class. Roughly speaking, the K-rank of a partial type is the number of "copies" of K that can be "independently coded" inside of the type. We study K-rank for specific examples of K, including linear orders, equivalence relations, and graphs. We discuss the relationship of K-rank to other ranks in model theory, including dp-rank and op-dimension (a notion coined by the first author and C. D. Hill in previous work).