Talk:Computable Model Theory