Computability and models by S. B. Cooper | Lex | Lex