Talk:Omega-categorical theory