Decision problems in predicate logic