New Ramsey Classes from Old
Logic
2012-07-19 v2 Combinatorics
Abstract
Let C_1 and C_2 be strong amalgamation classes of finite structures, with disjoint finite signatures sigma and tau. Then C_1 wedge C_2 denotes the class of all finite (sigma cup tau)-structures whose sigma-reduct is from C_1 and whose tau-reduct is from C_2. We prove that when C_1 and C_2 are Ramsey, then C_1 wedge C_2 is also Ramsey. We also discuss variations of this statement, and give several examples of new Ramsey classes derived from those general results.
Cite
@article{arxiv.1204.3258,
title = {New Ramsey Classes from Old},
author = {Manuel Bodirsky},
journal= {arXiv preprint arXiv:1204.3258},
year = {2012}
}
Comments
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