从旧类构造新的 Ramsey 类

Manuel Bodirsky

从旧类构造新的 Ramsey 类

逻辑 2012-07-19 v2 组合数学

作者: Manuel Bodirsky

摘要

设 $C_1$ 和 $C_2$ 为具有不相交有限签名 $\sigma$ 和 $\tau$ 的有限结构强 amalgamation 类。记 $C_1 \wedge C_2$ 为所有有限 $(\sigma \cup \tau)$ -结构的类，其 $\sigma$ -归约属于 $C_1$ 且其 $\tau$ -归约属于 $C_2$ 。我们证明当 $C_1$ 和 $C_2$ 为 Ramsey 类时， $C_1 \wedge C_2$ 也是 Ramsey 类。我们还讨论了该陈述的变体，并给出了由这些一般结果导出的几个新 Ramsey 类的例子。

关键词

Ramsey 类强 amalgamation 类有限结构不相交签名归约组合逻辑

引用

@article{arxiv.1204.3258,
  title  = {New Ramsey Classes from Old},
  author = {Manuel Bodirsky},
  journal= {arXiv preprint arXiv:1204.3258},
  year   = {2012}
}

备注

11 pages. In the second version, to be submitted for journal publication, a number of typos has been removed, and a grant acknowledgement has been added

从旧类构造新的 Ramsey 类

摘要

关键词

引用

备注

相关论文