New Ramsey Classes from Old
Abstract
Let C1 and C2 be strong amalgamation classes of finite structures, with disjoint finite signatures sigma and tau. Then C1 wedge C2 denotes the class of all finite (sigma cup tau)-structures whose sigma-reduct is from C1 and whose tau-reduct is from C2. We prove that when C1 and C2 are Ramsey, then C1 wedge C2 is also Ramsey. We also discuss variations of this statement, and give several examples of new Ramsey classes derived from those general results.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.