Ma lo hai scritto tu prima:

$_SESSION["carrello"][]=$idarticolo;

Dov'è il problema?