>>96825379Captain Marvel was an alien named Mar-Vell. Ms. Marvel was originally Carol Danvers. Marvel Girl is the rarely used codename for Jean Grey.
Currently, Carol Danvers took on the moniker of Captain Marvel, and Kamala Khan took over the "Ms. Marvel" name. Mar-Vell is permadead, and Jean Grey won't stay dead.