Title: Some problems in logic and number theory, and their connections