Models and Computability