Arcs in the plane

Assuming PFA, every uncountable subset E of the plane meets some C 1 arc in an uncountable set. This is not provable from MA ( ℵ 1 ) , although in the case that E is analytic, this is a ZFC result. The result is false in ZFC for C 2 arcs, and the counter-example is a perfect set.