New Ramsey classes from old

From MaRDI portal




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.









This page was built for publication: New Ramsey classes from old

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q405215)