The complement of certain recursively defined sets

An RD-set (recursively defined) is a minimal set of positive integers containing a given seed and closed under a given set of unary linear operations (x → ax + b). We examine conditions under which the complement of an RD-set may be expressed as the disjoint union of infinite arithmetic progressions. © 1975.