We construct an Euler system for Galois representations associated to
cohomological cuspidal automorphic representations of the group GSp(4), using
the pushforwards of Eisenstein classes for GL(2) x GL(2).Comment: 41 pages. Revised version -- main theorem now applies in all
cohomological weight
