Alan Robert Woods

• Some problems in logic and number theory, and their connections