« Section 3.2: Other Reducts of Number Theory

Section 3.2: Problem 2 Solution »

Section 3.2: Problem 1 Solution

Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
Show that any eventually periodic set of natural numbers is definable in the structure .
Every finite subset and its complement in can be defined in (Exercise 4 of Section 3.1), and, hence, in . Therefore, by using disjunctions and conjunctions we can modify any finite number of points of a subset, and it is sufficient to show that every periodic set of natural numbers is definable in . But every periodic set with period is determined by memberships of the first natural numbers. Hence, if , then is defined by .