Back and forth through computable model theory, ASL Winter Meeting, New Orleans, Louisiana (plenary). Conference Paper uri icon