Model-theoretic applications of the profinite hull functor of special groups - Mariano, Hugo Luiz; Miraglia Neto, Francisco (South American Journal of Logic, 2015)