Computability and Models by S Barry Cooper