Title: Models and Computability