Smoothness spaces of higher order on lower dimensional subsets of the Euclidean space

We study Sobolev type spaces defined in terms of sharp maximal functions on Ahlfors regular subsets of the Euclidean space and the relation between these spaces and traces of classical Sobolev spaces.