Title: Some problems in mathematical logic