Regularity theory and global existence of small data solutions to semi-linear de Sitter models with power non-linearity. (April 2018)