1: \begin{abstract}

2: We present a coordinate-free version of Fefferman's solution of Whitney's extension problem in the space $C^{m-1,1}(\R^n)$. While the original argument relies on an elaborate induction on collections of partial derivatives, our proof uses the language of ideals and translation-invariant subspaces in the ring of polynomials. We emphasize the role of compactness in the proof, first in the familiar sense of topological compactness, but also in the sense of finiteness theorems arising in logic and semialgebraic geometry. In a follow-up paper, we apply these ideas to study extension problems for a class of sub-Riemannian manifolds where global coordinates may be unavailable.

3: %Our approach may be useful for proving extension theorems in cases where the use of global coordinates is likely inconvenient, such as for extension problems involving real-valued functions on Carnot groups.

4: %Let $E$ be an arbitrary subset of $\R^n$, and let $f : E \rightarrow \R$ be given. How can one determine whether $f$ admits an extension $F$ on $\R^n$ in the H\"{o}lder regularity class $C^{m,1}$? The \emph{finiteness principle} is an important structural property of the extension problem which allows one to write down an explicit set of necessary and sufficient conditions. We give a short proof of this result based on a coordinate-free version of Fefferman's stopping time argument. Our methods may be applicable in the study of extension problems on non-Euclidean spaces where the use of global coordinates may be inconvenient.

5: \end{abstract}

6: