presented at event Special Session Effectiveness Questions in Model Theory, Meeting of the American Mathematical Society Conference