Email Record: Mathematical problems from applied logic I :