Recursive model theory: Examining computability in the theory of theories, ASL Winter Meeting, San Francisco, California (plenary). Conference Paper