Pseudo-finite homogeneity and saturation
Pseudo-finite homogeneity and saturation
复制标题
伪有限均匀性和饱和度
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
M. Ziegler
中科院分区：
文献类型：
--
作者：
J. Flum;M. Ziegler
摘要在分析数据库查询语言时，已经引入并应用了理论的pseudo-finite同质性属性（参见[3]）。我们表明，一个稳定的理论具有伪限性均匀性属性，以防其对有限状态的表达能力有限。此外，我们介绍了相应的伪限饱和性能，并在其具有伪限饱和性属性时表明理论没有有限的覆盖属性。
Abstract When analyzing database query languages a roperty, of theories, the pseudo-finite homogeneity property, has been introduced and applied (cf. [3]). We show that a stable theory has the pseudo-finite homogeneity property just in case its expressive power for finite states is bounded. Moreover, we introduce the corresponding pseudo-finite saturation property and show that a theory fails to have the finite cover property if and only if it has the pseudo-finite saturation property.