  Introducing the notion of a rational system of measure preserving
transformations and proving a recurrence result for such systems, we give
sufficient conditions in order a subset of rational numbers to contain
arbitrary long arithmetic progressions.
