Effectively categorical structures, Joint Math Meetings, Baltimore (invited). Conference Paper uri icon