Modular congruences, Q-curves, and the diophantine equation x^4 + y^4 = z^p

Abstract

We prove two results concerning the generalized Fermat equation $x^4+y^4=z^p$. In particular we prove that the First Case is true if $p\ne 7$.