Einstein-Maxwell-Massive Scalar Field System in 3+1 formulation on Bianchi Spacetimes type I-VIII

Global existence to the coupled Einstein-Maxwell-Massive Scalar Field system which rules the dynamics of a kind of charged pure matter in the presence of a massive scalar field is proved, in Bianchi I-VIII spacetimes; asymptotic behaviour, geodesic completeness, energy conditions are investigated in the case of a cosmological constant bounded from below by a strictly negative constant depending only on the massive scalar field.