On the second-order regularity of widely degenerate elliptic systems

We prove local second-order regularity near the critical set for widely degenerate elliptic systems, and show that this degenerate region has zero Lebesgue measure provided the source term is non-vanishing.