The equivariant Serre spectral sequence as an application of a spectral sequence of Spanier (Q1295199)

\textit{E. H. Spanier} defined [Contemp. Math. 12, 315-329 (1982; Zbl 0518.55003)] a cohomology theory on a space \(X\) to be a cohomology functor defined on pairs of subspaces of the space \(X\) satisfying certain axioms (these are different from the Eilenberg-Steenrod axioms) including the tautness axiom and the Mayer-Vietoris exactness axiom. In another paper [\textit{E. H. Spanier}, Trans. Am. Math. Soc. 329, No. 2, 607-624 (1992; Zbl 0746.55003)] he constructed a spectral sequence for such a cohomology on a triangulated space \(X\), the cohomology being locally constant on all open simplexes. The \(E_2\)-term of the spectral sequence consists of certain simplicial cohomology groups, and the sequence itself converges to the cohomology of \(X\). In the present paper the author constructs the Serre spectral sequence for a closed \(G\)-fibration \(f: Y\to X\), where \(G\) is a finite group. He shows that if the base \(G\)-space \(X\) is equivariantly triangulated and \(Y\) is paracompact, then the Spanier spectral sequence yields an equivariant Serre spectral sequence for the \(G\)-map \(f\). The equivariant Bredon-Illman cohomology of the \(G\)-space \(X\) with twisted coefficients plays an important role in the proof of the theorem.