Arcs in the Plane
Abstract
Assuming PFA, every uncountable subset E of the plane meets some C1 arc in an uncountable set. This is not provable from MA(aleph1), although in the case that E is analytic, this is a ZFC result. The result is false in ZFC for C2 arcs, and the counter-example is a perfect set.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.