On the construction of global models describing isolated rotating charged bodies; uniqueness of the exterior gravitational field

A relatively recent study by Mars and Senovilla provided us with a uniqueness result for the exterior vacuum gravitational field of global models describing finite isolated rotating bodies in equilibrium in General Relativity (GR). The generalisation to exterior electrovacuum gravitational fields, to include charged rotating objects, is presented here.