Title: On decision problems for quantification theory