Some interconnections between modern algebra and mathematical logic