Polynomial time ultrapowers and the consistency of circuit lower bounds | Publicación