Más adelante, en 1990, se nombró en honor del compositor italiano Antonio Vivaldi (1680-1743).