On the extension of Whitney ultrajets

We prove necessary and sufficient conditions for the validity of Whitney’s extension theorem in the ultradifferentiable Roumieu setting with controlled loss of regularity.