Computable models, computability, and enumerations, Workshop on Classification of Countable Models, Notre Dame, Indiana (invited). Conference Paper uri icon