Title: Computability and Models