A well known result in Ramsey theory is: If the set of positive integers is partitioned into a finite number of sets, then at least one of these sets will contain a solution to $x+y=z$
By "property" I mean arithmetic statements like "will contain a solution to $x+y=z$" and by "invariant under partition" I mean that whenever we partition the integers by a finite number of sets, at least one of the sets will have such property.
Is there any area of Ramsey theory dedicated to studying such types of problems? Where can I find references on more problems like that?