presented at event Meeting of the American Mathemaitcal Society, Special Session Model Theory and Computability Conference