A Ramsey theorem for structures with both relations and functions (Q986108)

From the introduction: ``\textit{H. J. Prömel} [``Induced partition properties of combinatorial cubes,'' J. Comb. Theory, Ser. A 39, 177--208 (1985; Zbl 0638.05005)] proved a Ramsey theorem for finite parameter sets appropriately enriched to form relational structures. [\dots] We give a generalization of Prömel's theorem to situations where structures have both relations and functions, with relations interpreted in a way specific to Ramsey theory. [\dots] The argument given in the present paper provides a new proof of Prömel's theorem.''